Разработчики OpenAI сообщили о получении частичного решения проблемы тысячелетия института Клэя с применением тысячи внутренних ИИ-агентов. Рассмотрены технические детали автоматизированного доказательства разрушения решения для уравнений Навье — Стокса, использование среды Codex независимыми математиками для хранения черновиков, а также причины, по которым задача формально остается открытой, а премия — неврученной