ИИ
Anthropic формализовала доказательство теоремы Ферма с помощью ИИ
Anthropic за 11 дней формализовала доказательство Великой теоремы Ферма, создав крупнейший в истории файл с 13 миллионами строк кода для компьютерной проверки.
5 сентября 2026 г., 03:41·SiliconANGLE
