Гонка вычислений добралась до математики

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