Учёные уличили ИИ в неспособности строить математические доказательства в олимпиадных задачах 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 ...

Ученые нашли доказательства сотрудничества людей и неандертальцев Израильские ученые из Еврейского университета в Иерусалиме совместно с коллегами из других ...

Ученые обнаружили веские доказательства существования жизни за пределами Солнечной системы Астрономы утверждают, что гигантская планета, расположенная на расстоянии 124 световых лет ...