ИИ проверил доказательство теоремы Ферма за две недели

Модель искусственного интеллекта Claude от компании Anthropic успешно формализовала и проверила доказательство Великой теоремы Ферма. На это у нейросети ушло менее двух недель, в течение которых она сгенерировала 13 миллионов строк кода и доказала 29,5 тысяч промежуточных теорем. Об этом сообщает издание Царьград.

Проверку результатов работы провел Кевин Баззард, ведущий специалист по оцифровке математики из Имперского колледжа Лондона. Он подтвердил, что компьютерная проверка была пройдена полностью и без искажений оригинальных аксиом.

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

Теорема, предложенная Пьером де Ферма в XVII веке, утверждает, что сумма двух целых положительных чисел, возведенных в одинаковую степень выше второй, не равна третьему целому числу в той же степени. Доказательство этой идеи учёные искали более трех столетий, пока в конце XX века английский математик Эндрю Уайлс не представил сложное доказательство, проверка которого вручную заняла у рецензентов целый год.

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