ИИ Claude увеличил нижнюю границу гипотезы Римана с 41,6% до 67,2%

Хотя искусственный интеллект Claude не смог доказать саму гипотезу Римана — одну из семи «задач тысячелетия», за решение которой назначена премия в миллион долларов, его работа привела к значительному прорыву в смежной области. Модель помогла математикам из Anthropic улучшить известные границы для распределения нулей дзета-функции, что приближает к пониманию самой гипотезы.

Проект Anthropic был направлен на исследование способности ИИ понимать и генерировать математические доказательства. В процессе обучения и взаимодействия с моделью, исследователи обнаружили, что Claude может предлагать неочевидные шаги и интерпретации, которые помогли пересмотреть существующие доказательства и улучшить показатели.

Этот успех демонстрирует потенциал искусственного интеллекта не только как инструмента для решения уже поставленных задач, но и как средства для открытия новых направлений в фундаментальных науках. Увеличение нижней границы доли нетривиальных нулей дзета-функции с 41,6% до 67,2% — важный шаг в теории чисел, который может способствовать дальнейшему прогрессу в этой сложной математической проблеме.