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

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

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

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