Искусственный интеллект решил 350-летнюю математическую задачу, написав самый длинный доказательный код за всю историю
Anthropic говорит, что Claude потратил 11 дней, чтобы превратить Великую теорему Ферма в 13 миллионов строк кода, которые компьютер может проверить сам, без необходимости доверять человеку
- Источник
- Decrypt
- Опубликовано
- 2026-09-05 13:01 UTC
- Кэш обновлён
- 2026-09-05 13:03 UTC
Здесь показаны только заголовок, обзор и источник.
Открыть оригинал ↗Проверить комиссии