Результат был получен 15 августа 2026 года; работа велась в свободное время без институциональных связей с Anthropic. Для решения задачи активно использовались ИИ-инструменты, включая Claude и Codex, а доказательства формализованы в системе Lean.
28 августа OpenAI начала обучение новой внутренней модели с сильными математическими результатами; 1 сентября, после появления слуха о решении задач тысячелетия, эту модель запустили на все оставшиеся такие задачи.