4 сентября 2026 года компания Anthropic сообщила о том, что агенты Claude завершили подготовку доказательства Великой теоремы Ферма всего за 11 дней. Это значительное достижение в области математики, учитывая, что задача оставалась нерешенной на протяжении 350 лет. Доказательство было полностью проверено компьютером, что подчеркивает важность современных технологий в решении сложных математических проблем.
Формализация доказательства, то есть преобразование математических рассуждений в форму, которую могут проверить компьютерные помощники, такие как Lean, сыграла ключевую роль в этом процессе. Проверка правильности крупных математических доказательств может занимать годы, однако использование компьютерных технологий значительно ускоряет этот процесс. Достижение Claude демонстрирует потенциал искусственного интеллекта в области научных исследований.
Это событие имеет большое значение для математики и науки в целом, так как оно открывает новые горизонты для применения технологий в решении сложных задач. Успех Claude может вдохновить дальнейшие исследования и разработки в области математического доказательства и формализации, что, в свою очередь, может привести к новым открытиям и прорывам в других областях науки.