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

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

20:17, 26.04.2025

Источник: 3dnews.ru

Рубрика: «Hardware» Поделиться:

Дороги и энергообъекты что будут строить в Абхазии до 2025 года Дороги и энергообъекты — что будут строить в Абхазии до 2025 года Основные цели Инвестпрограммы на 2023−2025 годы заключаются в устранении инфраструктурных ...

Bitget обновляет данные доказательства резервов за февраль 2025 года, показатели резервов увеличены до 186% Виктория, Сейшельские острова, 26 февраля 2025 г. /PRNewswire/ — Bitg ...

Надо больше строить стадионов. Третьяк о ключевых задачах нового министра спорта «Надо больше строить стадионов». Третьяк — о ключевых задачах нового министра спорта Президент Федерации хоккея России (ФХР) Владислав Третьяк рассказал о ключевых задачах нов ...

Учёные обнаружили доказательства существования Девятой планеты Учёные-планетологи предоставили новые доказательства существования гипотетической Девятой ...