Інструменти й релізи
Anthropic формалізувала Велику теорему Ферма за допомогою Lean та агентів Claude Code
Anthropic представила перше повне комп'ютерно верифіковане доведення Великої теореми Ферма у системі Lean за 11 днів. Команда з десятків агентів Claude довела 29 500 проміжних теорем у 13 мільйонах рядків коду.
Чому це важливо
Anthropic представила перше повне комп'ютерно верифіковане доведення Великої теореми Ферма у системі Lean за 11 днів. Команда з десятків агентів Claude довела 29 500 проміжних теорем у 13 мільйонах рядків коду.