🧮 Claude сам доказал Великую теорему Ферма.

Anthropic запустила несколько десятков параллельных агентов Claude, которые за 11 дней (по факту — 6 миллиардов токенов) построили полностью формальную, проверенную компьютером версию доказательства в Lean. Получилось 13 миллионов строк кода и 29500 промежуточных теорем. Первая попытка вообще провалилась, помогло добавление инструмента Prove2Me от Колумбийского университета прямо на ходу.

Весь код доказательства уже лежит в открытом доступе на GitHub. Математики 350 лет пытались формализовать то, что теперь сделала нейросеть за полторы недели.

[#AI](/search?q=%23AI) [#Anthropic](/search?q=%23Anthropic) [#Claude](/search?q=%23Claude)