ИИ только что решил 350-летнюю математическую задачу, написав самое длинное доказательство в истории

Anthropic утверждает, что Клод потратил 11 дней на превращение Великой теоремы Ферма в 13 миллионов строк кода, которые компьютер может проверить сам, не требуя человеческого доверия