ИИ-система Claude успешно доказала теорему Ферма за 11 дней
ИИ-система Claude успешно доказала теорему Ферма за 11 дней
Anthropic сообщает, что Claude завершил доказательство теоремы Ферма за 11 дней. Доказательство состоит из 13 миллионов строк.