OpenAI сообщила, что внутренняя, невыпущенная модель, якобы более мощная, чем GPT-6 Astra, предложила решение уравнений Навье-Стокса.

Как проводилось исследование

Компания заявляет, что развернула примерно 10,000 агентов, которые работали непрерывно в течение 88 часов в поисках формального аргумента и возможных шагов.

• 10,000 агентов проводили координированные поиски по математическим представлениям, чтобы предложить кандидатные леммы и потенциальные шаги доказательства в ходе непрерывных вычислений.
• 88 часов обозначает непрерывный интервал вычислений, в течение которого агенты исследовали альтернативные конструкции и уточняли символьные аргументы в направлении консолидированной демонстрации.
• Представители компании описывают условный сценарий, в котором в уравнениях движения жидкости возникает сингулярность за конечное время, что ставит под сомнение классические предположения о гладкости, используемые в анализе.

Результаты и дальнейшие шаги

По данным OpenAI, вычисления указывают на то, что при определённых условиях течения может сформироваться сингулярность за конечное время, в результате чего обычное математическое описание перестаёт применяться.

Результат касается проблемы существования и гладкости уравнений Навье-Стокса, одной из семи задач тысячелетия, не решённой примерно в течение 90 лет.

Процесс проверки

Предложенное доказательство теперь должно пройти проверку широким математическим сообществом, которое попытается строго проверить каждый логический шаг и лежащие в его основе предположения.

Если рецензирование подтвердит это, результат станет вторым решённым вопросом среди семи задач тысячелетия, после гипотезы Пуанкаре.

OpenAI подчёркивает, что модель остаётся внутренней и не выпущена, и что результаты были переданы экспертам для независимой проверки и анализа.