Учёные уличили ИИ в неспособности строить математические доказательства в олимпиадных задачах USAMO 2025 года

Новое исследование ETH Zurich и INSAIT показало, что современные ИИ-модели, имитирующие рассуждение и уверенно решающие стандартные математические задачи, практически не способны формулировать полные доказательства уровня Математической олимпиады США 2025 года (USAMO). Эти результаты ставят под сомнение возможность глубокого математического рассуждения у современных ИИ-моделей. Источник изображения: Imkara Visual / Unsplash

Автор публикации

не в сети 3 года

WeLANS

Для многих IT-консалтинг – это что-то непонятное и мифическое, но всё намного проще, чем кажется)
Комментарии: 0Публикации: 50502Регистрация: 15-12-2022

Источник: 3DNews - все новости сайта

Ответить

Этот сайт использует Akismet для борьбы со спамом. Узнайте, как обрабатываются ваши данные комментариев.

Авторизация
*
*
Регистрация
*
*
*
*
Пример: +79001234567
Генерация пароля