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