1000 ИИ-агентов Anthropic воспроизвели доказательство Великой теоремы Ферма за 29 часов Французский математик Пьер Ферма сформулировал свою последнюю теорему в 1637 году, а ее доказательство было найдено только в 1994-м. Одна из двух моделей, представленных вчера компанией Anthropic, воспроизвела его, потратив всего 28,7 часа. Для этого она организовала команду из 1000 агентов ИИ, применила универсальные инструменты, общую базу данных и многоуровневые механизмы контроля безопасности. Результат прошел проверку инструментом Lean. Первая такая формализация у Anthropic заняла 11 дней, требовала специального окружения и подсказок исследователя. Новая потратила втрое меньше токенов, а доказательство получилось в семь раз короче. https://hightech.plus/2026/11/10/1000-ii-agentov-anthropic-vosproizveli-dokazatelstvo-velikoi-teoremi-ferma-za-29-chasov