OpenAI заявила о значительном прогрессе в решении второй «задачи тысячелетия». Компания не раскрыла название проблемы, однако эксперты предполагают, что речь идет о гипотезе Ходжа. Ранее OpenAI объявила о решении задачи о существовании и гладкости решений уравнений Навье-Стокса.
В сентябре 2026 года компания использовала 10 000 ИИ-агентов для подготовки 166-страничной научной работы. Процесс занял 88 часов и включал создание кода верификации на языке Lean. Сейчас документ находится на проверке в Математическом институте Клэя, который учредил награду в $1 млн за каждую задачу.
Заявление OpenAI вызвало протест в научном сообществе. Более 1000 математиков подписали открытое письмо с критикой подхода компании, а 25 лауреатов Филдсовской премии выразили обеспокоенность этическими аспектами работы ИИ. После этого OpenAI отказалась от спонсорства хакатона в Калтехе.
Математический институт Клэя традиционно проверяет подобные доказательства годами. Например, верификация доказательства гипотезы Пуанкаре, представленного Григорием Перельманом, заняла около четырех лет до официального признания в 2010 году.
