🧮 Claude сам доказал Великую теорему Ферма.
Anthropic запустила несколько десятков параллельных агентов Claude, которые за 11 дней (по факту — 6 миллиардов токенов) построили полностью формальную, проверенную компьютером версию доказательства в Lean. Получилось 13 миллионов строк кода и 29500 промежуточных теорем. Первая попытка вообще провалилась, помогло добавление инструмента Prove2Me от Колумбийского университета прямо на ходу.
Весь код доказательства уже лежит в открытом доступе на GitHub. Математики 350 лет пытались формализовать то, что теперь сделала нейросеть за полторы недели.
#AI #Anthropic #Claude
🧮 Claude сам доказал Великую теорему Ферма.
AI | Новости | Volodymyr Saakian
@ai_it_education🤖 AI новости для разработчиков, фрилансеров и бизнеса Tech Lead @ TUI · 9 лет в IT 90% моего кода пишет AI — рассказываю как и зачем Кейсы · Инструменты · Автоматизация Вопросы → @llossless
19 subscribers
Open in Telegram 1 photo is attached to this post — visible in the Telegram app.