Claude доказал теорему Ферма за 11 дней
Claude доказал теорему Ферма за 11 дней Anthropic заявила, что их ИИ-агенты впервые полностью формализовали Великую теорему Ферма — доказательство, которое математик Эндрю Уайлс нашел еще в 1995 году, теперь проверено компьютером. Десятки агентов Claude переписали доказательство на языке Lean, создав 13 млн строк кода и потратив 6 млрд токенов. Люди лишь изредка давали общие указания. Кевин Баззард, который сам занимается формализацией теоремы с 2024 года, назвал результат «экстраординарным достижением». Подробности — в анонсе Anthropic, а доказательство уже выложили на GitHub.
5 просмотров
Канал в каталоге Максиметера
269 подписчиков · Новости