Claude доказал теорему Ферма, но ученые нашли предел возможностей ИИ

Нейросети не смогут обладать исчерпывающими знаниями в математике, поскольку наука постоянно развивается и люди продолжают создавать новые идеи. Такое мнение высказала заведующая кафедрой математики и статистики колледжа Суортмор Линн Стюэрле Шофилд.

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

Заявление прозвучало на фоне достижения Anthropic. Компания сообщила, что Claude за 11 дней формализовал полное доказательство Великой теоремы Ферма на языке Lean, позволяющем компьютеру проверить каждый логический шаг.

В ходе работы система создала около 13 млн строк кода и доказала более 30 тыс. промежуточных теорем, из которых около 29,5 тыс. вошли в итоговое доказательство. Результат проверил математик Кевин Баззард из Имперского колледжа Лондона.

При этом Claude не открыл новое доказательство теоремы с нуля, а перевел уже существующую математическую аргументацию в формальный, проверяемый компьютером вид.

Великая теорема Ферма была сформулирована в XVII веке. Ее окончательное доказательство представил математик Эндрю Уайлс в 1990-х годах после более чем трех столетий безуспешных попыток решить задачу.

Ранее сообщалось, что ИИ применяется в авиации на всех этапах — от расписания до сертификации. Подробнее об этом читайте в материале Общественной службы новостей.