Суть прорыва: 88 часов и 130 миллиардов токенов
Компания OpenAI объявила, что их внутренняя модель (мощнее Astra) за 88 часов нашла решение проблемы существования и гладкости решений для уравнений Навье-Стокса с внешними силами. Это первая из семи «Задач тысячелетия» Института Клэя, решенная искусственным интеллектом. Для формализации и верификации доказательства в системе Lean ушло еще 17 часов.
Масштаб вычислительных затрат впечатляет: для решения этой конкретной задачи агенты отправили 2,7 миллиона сообщений и использовали около 130 миллиардов выходных токенов. В рамках общего обхода всех нерешенных задач тысячелетия (по ложному слуху о их решении) было затрачено 300 миллиардов токенов.
Конфликт с математиками: спор об авторстве
Параллельно с успехом OpenAI, математики Тристан Бакмастер и Левен Альпоге опубликовали результаты по уравнениям Эйлера, используя LLM для завершения работы, начатой Диего Кордобой. Они утверждают, что OpenAI попыталась присвоить приоритет их работы. По словам Бакмастера, Себастьен Бубек (OpenAI) предложил два варианта:
- Опубликовать результаты по Эйлерам, а затем — Навье-Стоксам на следующий день.
- Лично написать статью Бакмастеру, где он признает, что решение Навье-Стоксов найдено моделью OpenAI, исключив Альпоге из соавторов.
Бакмастер отказался, заявив, что не намерен портить карьеру молчанием, если OpenAI опубликует результат в предложенном виде. Он подчеркивает, что не видел самого доказательства OpenAI, но фиксирует факты переговоров.
Экономика прорыва: сколько стоит математика?
Стоимость вычислений для решения задачи Навье-Стокса оценивается примерно в 22 миллиона долларов для обычного клиента API, хотя внутренние маржинальные затраты OpenAI значительно ниже. Тем не менее, это демонстрирует сдвиг парадигмы: математические исследования теперь требуют колоссальных ресурсов на инференс.
| Метрика | Значение | Примечание |
|---|---|---|
| Время решения Navier-Stokes | 88 часов | Чистое время работы модели |
| Время верификации (Lean) | 17 часов | Формальная проверка доказательства |
| Сообщений агентов (NS) | 2,7 млн | Взаимодействия в процессе поиска |
| Выходных токенов (NS) | ~130 млрд | Объем сгенерированного текста/кода |
| Оценочная стоимость (рынок) | ~$22 млн | По тарифам внешних клиентов |
Почему это важно
Это событие знаменует конец эры, когда математические доказательства были исключительно человеческой прерогативой. Хотя OpenAI не планирует претендовать на денежную премию в 1 миллион долларов, победа над задачей тысячелетия — это вопрос научного приоритета и статуса. Индустрия теперь должна пересмотреть подходы к защите интеллектуальной собственности и коллаборации между ИИ-лабораториями и академическим сообществом.
Источник: LessWrong ↗