Claude от Anthropic совершил прорыв в гипотезе Римана, доказав долю нулей на критической прямой
Исследователи из Anthropic представили доказательство, сгенерированное их ИИ Claude, которое показывает, что как минимум 67.2% нетривиальных нулей дзета-функции Римана лежат на критической прямой. Это колоссальный скачок по сравнению с предыдущими человеческими результатами, которые десятилетиями измерялись лишь в сотых долях процента.
В августе 2026 года компания Anthropic опубликовала препринт, автором которого был указан Claude. Согласно документу, искусственный интеллект установил, что не менее 67,2% нетривиальных нулей дзета-функции Римана лежат на критической прямой. Этот результат выглядит значительным, учитывая, что десятилетиями прогресс в этой задаче измерялся лишь долями процента.
Гипотеза Римана, сформулированная в середине XIX века, относится к числу важнейших нерешенных проблем математики. Она утверждает, что все нетривиальные нули дзета-функции имеют действительную часть, равную одной второй. Доказательство гипотезы имеет фундаментальное значение для теории чисел, особенно для понимания распределения простых чисел. Предыдущие результаты были скромнее. Например, в 1940-х годах было известно, что доля нулей на критической прямой составляет не менее 41,6%. За последующие десятилетия этот показатель увеличивали лишь незначительно. Работа Claude, по сообщениям, совершила качественный скачок.
Этот случай демонстрирует способность больших языковых моделей выполнять сложные логические рассуждения в рамках формальных систем. Сообщается, что идея доказательства элегантна и умещается на одной странице. ИИ, возможно, нашел новый, неочевидный для человека подход или комбинацию известных методов. Сам факт публикации математического препринта с моделью в качестве автора отмечает новый этап во взаимодействии искусственного интеллекта и фундаментальной науки.
Для отрасли ИИ это важный сигнал. Разговор о возможностях моделей смещается от генерации текстов и изображений к решению сложных научных проблем. Это может привлечь дополнительные инвестиции не только в прикладные задачи, но и в фундаментальные исследования, где ИИ выступает в роли инструмента. Для разработчиков открываются новые направления: проверка гипотез, автоматизация доказательств теорем, поиск закономерностей в данных. Успех в математической задаче укрепляет доверие к потенциальному применению подобных систем в других точных науках, таких как физика или материаловедение.
При этом важно понимать ограничения результата. Гипотеза Римана не доказана полностью - установлена лишь значительная доля нулей, удовлетворяющих условию. Тем не менее, резкое улучшение нижней границы является заметным событием в математике и демонстрацией потенциала ИИ. Это ведет к переосмыслению роли исследователя. В будущем ученые могут все чаще выступать как постановщики задач и интерпретаторы результатов, сгенерированных искусственным интеллектом. Подобный прорыв задает высокую планку и может стимулировать аналогичные попытки в других дисциплинах.
