Исследовательская лаборатория Anthropic опубликовала результаты тестирования неанонсированной ИИ-модели, которая смогла сформулировать и математически доказать новые леммы, связанные с распределением нулей дзета-функции Римана.
Гипотеза Римана остается одной из семи «задач тысячелетия» с призом в 1 миллион долларов от Математического института Клэя. До сих пор языковые модели применялись в математике преимущественно для формализации уже известных доказательств в формальных языках вроде Lean или Coq.
Методология и результаты эксперимента
В отличие от стандартных методов сэмплирования, новая архитектура Anthropic использует гибридный метод рассуждений: нейросеть генерирует цепочки гипотез, а специализированный формальный верификатор мгновенно отсекает ошибочные логические шаги. В ходе эксперимента модель нашла оптимизированную верхнюю оценку для плотности нулей в критической полосе.
Известный математик и профессор Принстонского университета, ознакомившийся с препринтом исследования, подтвердил корректность найденных моделью промежуточных логических выкладок.
Значение для фундаментальной науки
В Anthropic подчеркивают, что созданная система пока не доказывает гипотезу Римана полностью, однако демонстрирует способность нейросетей находить нетривиальные математические конструкции в областях, где традиционные численные алгоритмы бессильны.
Источники
- TechCrunch, 2026-08-11
- Anthropic Research, 2026-08-11