ИИ
ИИ от Anthropic формализовал доказательство Великой теоремы Ферма
ИИ от Anthropic за 11 дней формализовал доказательство Великой теоремы Ферма, создав код из 13 млн строк на языке Lean.
5 сентября 2026 г., 12:39·3DNews - Daily Digital Digest
#lean-language
ИИ
Anthropic формализовала доказательство теоремы Ферма с помощью ИИ
Anthropic за 11 дней формализовала доказательство Великой теоремы Ферма, создав крупнейший в истории файл с 13 миллионами строк кода для компьютерной проверки.
SiliconANGLE
Это всё, что есть