Алгоритмы Anthropic формализовали доказательство теоремы Ферма за 11 суток

Нейросетевая модель Claude от компании Anthropic успешно перевела сложнейшее математическое доказательство в компьютерный код менее чем за две недели.

Искусственный интеллект справился с задачей, на которую ученые планировали потратить годы, пишет «New Scientist».

Группа автономных ИИ-агентов подтвердила правильность решения, предложенного Эндрю Уайлсом в 1995 году.

«На этом пути мы видим автоформализацию алгебры, гармонического анализа, геометрии и теории чисел, и мы узнаем, что артефакты...