Слышали про «задачи тысячилетия»?
Задачи тысячелетия — семь фундаментальных математических проблем, определенных Математическим институтом Клэя в США в 2000 году. За решение каждой из них обещано вознаграждение в один миллион долларов. К настоящему моменту решена одна из семи: в 2003 российский математик Григорий Перельман смог доказать теорему Пуанкаре.
Другая нерешенная задача, решение которой, по заверению разработчиков ИИ, фактически найдено — уравнения Навье — Стокса, которые описывают движение жидкостей и газов. Математический тупик здесь в том, что не существовало доказательства, всегда ли такие уравнения дают гладкое и предсказуемое решение без внезапных «разрывов».
В итоге OpenAI утверждает, что ее внутренняя ИИ-модель смогла предложить такое доказательство, оговариваясь, что на миллион долларов награды не претендует. Здесь же компания вступила в спор об авторстве: на решение также претендуют математики Тристан Бакмастер из NYU и Левент Алпёге из Anthropic. Все правильно: оба в своей работе также активно используют нейросети.
Так, математики с 2025 года работали над близкой задачей, используя Claude и Codex. Сейчас оба подозревают, что часть их наработок могла попасть в OpenAI через пользовательские сессии. В компании это отрицают и заявляют, что ее исследователи и ИИ-агенты не видели работу ученых до публикации результатов.
Таким образом, решение второй задачи тысячелетия после достижения консенсуса может быть представлено совсем скоро. В OpenAI доказательство уравнений Навье — Стокса представлено прежне всего как демонстрация передовых возможностей ИИ-моделей.
Это Борус | Мы в MAX