6 октября 2026 года компания OpenAI объявила о доказательстве квазигипотезы Римана, более слабой версии знаменитой нерешенной проблемы математики, которая висела в воздухе более 160 лет. Среди 377 результатов, полученных искусственным интеллектом, это достижение эксперты называют самым значительным. В отличие от других открытий ИИ, данное доказательство уже детально разобрали специалисты-математики, включая Джареда Дьюкера Лихтмана из Стэнфордского университета и Максима Радзивилла из Нью-Йоркского университета.
Они подтвердили, что даже ограниченность результата не умаляет его важности, так как подавляющее большинство следствий гипотезы Римана вытекают из квазигипотезы. Удивительно, но для доказательства не потребовалось вводить новые понятия, а лишь обнаружить скрытые связи между уже известными идеями.