ИИ решил математическую задачу 350-летней давности, написав самое длинное доказательство в истории

Система искусственного интеллекта решила математическую проблему, остававшуюся нерешенной на протяжении 350 лет. Как сообщает Decrypt, для этого ИИ пришлось сгенерировать самое длинное доказательство в истории математики.

Точная формулировка задачи и детали решения в публикации не раскрываются. Известно лишь, что речь идет о проблеме, поставленной еще в XVII веке. Ученые не могли найти ответ несколько столетий, а ИИ справился с ней в наши дни.

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

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

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