Claude написал 13 миллионов строк кода ради теоремы Ферма.
Anthropic сообщила 3 сентября о первом машинно проверенном доказательстве великой теоремы Ферма. Десятки агентов Claude работали 11 дней и попутно доказали 30.300 вспомогательных теорем. Математики ждали нескольких лет работы, а Anthropic признаёт, что доказательство слишком длинное.
Почему это важноПроверка большого доказательства была медленной ручной работой, теперь её берёт машина. Тот же приём подойдёт для проверки кода и обещаний о безопасности.
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Агенты OpenAI превратили немецкую вики в свой форум.2026-09-05Новая погодная модель Google обновляет прогноз каждый час.
2026-09-04Модели за рулём реже пропускали пешеходов с тёмной кожей.
2026-09-04ИИ стартапа нашёл шесть дыр в curl, а модели OpenAI ни одной.
2026-09-04ИИ обошёл лучшего человека на олимпиаде по программированию.
2026-09-04