Хронология событий, приведших к решению уравнений Навье-Стокса

В статье представлена детальная хронология событий с сентября 2025 по сентябрь 2026 года, в ходе которых математики Альпёге и Бакмастер добились прогресса в решении уравнений Навье-Стокса, а затем OpenAI с помощью невыпущенной модели ИИ также нашла решение, включая формальную проверку в Lean. Описаны переговоры, обмен информацией и предложения о сотрудничестве между математиками и компанией.