Компания Anthropic AI объявила о завершении доказательства последней теоремы Ферма, которое было выполнено за рекордные 11 дней. Доказательство состоит из 13 миллионов строк и прошло компьютерную проверку, что подтверждает его корректность и значимость.
Последняя теорема Ферма, выдвинутая в 1637 году, утверждает, что нет трех положительных целых чисел a, b и c, которые удовлетворяют уравнению a^n + b^n = c^n для целых n, больших 2. Это утверждение оставалось недоказанным на протяжении более 350 лет, пока в 1994 году британский математик Эндрю Уайлс не представил своё доказательство, которое стало важным событием в математике.
Достижение Anthropic AI подчеркивает растущую роль искусственного интеллекта в научных исследованиях и математике. Использование AI для решения таких сложных задач может привести к новым открытиям и улучшению методов доказательства теорем, что в свою очередь открывает новые горизонты для математики и смежных наук.