OpenAI заявила, что с помощью искусственного интеллекта доказала квазигипотезу Римана — более слабый вариант гипотезы Римана. Об этом компания сообщила 6 октября 2026 года в числе 377 представленных результатов.
Гипотеза Римана остаётся нерешённой более полутора веков и считается одной из важнейших открытых проблем математики. Доказательство касается не исходной гипотезы, а её ослабленной версии.
Джаред Дьюкер Лихтман из Стэнфордского университета назвал результат «самым значительным на сегодняшний день достижением ИИ в математике, причём с большим отрывом». Заявление указывает на растущие возможности ИИ в решении сложных математических задач, но приведённый материал не содержит подробностей о методе доказательства или его независимой проверке.