Математики Тристан Бакмастер и Левент Алпёге 6 сентября 2025 года опубликовали три препринта, посвященные уравнениям Навье-Стокса. В работе использовались языковые модели Claude, Codex, GPT-5.6 Sol и Astra. Проверка доказательства проводилась в системе Lean и завершилась 22 августа.
Публикация состоялась досрочно из-за утечки информации в OpenAI. 6 сентября вице-президент OpenAI Себастьен Бюбек сообщил Бакмастеру, что компания также получила доказательство для уравнений Навье-Стокса. Бюбек предложил Бакмастеру опубликовать результат от лица модели OpenAI, исключив из соавторов Алпёге, работающего в Anthropic.
В ходе переговоров Бюбек поставил под сомнение карьерные перспективы Бакмастера в случае отказа от условий компании. Бакмастер отказался от предложенного сценария и обнародовал детали общения. На текущий момент задача тысячелетия Института Клэя официально считается нерешенной.
Бакмастер отметил, что использование LLM позволило сократить время работы над доказательством с нескольких лет до одного месяца. Представленный результат касается уравнений с гладкой внешней силой, что является промежуточным шагом, а не полным решением математической проблемы.
