Исследовательская модель Claude повышает нижнюю оценку нулей дзета-функции Римана с 41,6% до 67,2%
Anthropic
Неопубликованная исследовательская версия Claude от Anthropic, работая в двух сессиях Claude Code с примерно 60 суб-агентами и 31 млн выходных токенов, улучшила десятилетиями существовавшую нижнюю оценку доли нулей дзета-функции Римана, удовлетворяющих гипотезе Римана, объединив недавние результаты теории чисел с работой Бомбьери 2000 года в новом аргументе на основе квадратичных форм Вейля. Результат проверили два математика Anthropic и внешние эксперты (Брайан Конри, Дэн Голдстон), а Claude также подготовила проверяемую в Lean версию доказательства.
Почему это важно
Это не доказательство гипотезы Римана, и Anthropic не ожидает, что техника приведёт к нему, но это редкий случай, когда передовая модель произвела экспертно проверенный прогресс по открытой проблеме в чистой математике, иллюстрируя как перспективы, так и текущие ограничения агентных ИИ-исследований.
Важность: 3/5
Заметный, экспертно проверенный исследовательский результат от передовой лаборатории с независимым освещением в СМИ.