Claude написал 13 миллионов строк кода ради теоремы Ферма.
Anthropic сообщила 3 сентября о первом машинно проверенном доказательстве великой теоремы Ферма. Десятки агентов Claude работали 11 дней и попутно доказали 30.300 вспомогательных теорем. Математики ждали нескольких лет работы, а Anthropic признаёт, что доказательство слишком длинное.
Почему это важноПроверка большого доказательства была медленной ручной работой, теперь её берёт машина. Тот же приём подойдёт для проверки кода и обещаний о безопасности.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
ИИ-агенты Google сами прошли Minecraft за 27 часов.2026-10-19В тесте ИИ-агент 50 раз написал депутату ради возврата денег.
2026-10-19Сотрудники Anthropic ждут, что ИИ сделает 75% их работы.
2026-10-18Китайский ИИ поймали на мыслях о собственном будущем обучении.
2026-10-17OpenAI даёт лабораториям вузов США год бесплатного ИИ для биологии.
2026-10-17