OpenAI решила задачу тысячелетия. Похоже, это тот самый момент.
8 сентября OpenAI опубликовала решение одной из семи знаменитых задач тысячелетия — задачи существования и гладкости решений уравнений Навье—Стокса.
Это не очередной бенчмарк и не олимпиадная задача. Проблема оставалась открытой около 90 лет, а Clay Mathematics Institute назначил за её решение премию $1 млн.
Если совсем просто: уравнения Навье—Стокса описывают движение жидкостей и газов. Один из фундаментальных вопросов состоял в том, может ли из изначально гладкого состояния возникнуть сингулярность — точка, где математическое решение фактически «взрывается».
Система OpenAI утверждает: да, может, и приводит доказательство возникновения такой сингулярности за конечное время.
И вот что здесь особенно интересно с точки зрения разработки ИИ.
Для поиска решения использовалась ещё не выпущенная внутренняя модель OpenAI, которая, по заявлению компании, существенно сильнее GPT-6 Astra.
Но работала она не одна.
OpenAI запустила систему примерно из 10 000 одновременно работающих AI-агентов. У агентов были инструменты: доступ к кэшированной копии интернета, возможность запускать код и взаимодействовать внутри групп.
На поиск решения ушло около 88 часов.
После этого результат был не просто выдан текстом. OpenAI опубликовала само доказательство и его формальную проверяемую версию на Lean.
Это важная деталь.
Мы довольно быстро движемся от модели в стиле:
«спросил LLM → получил ответ»
к системе:
модель → тысячи агентов → инструменты → код → формальная верификация → результат.
И в этот раз результатом потенциально стало решение одной из самых известных нерешённых математических задач человечества.
Внимание: это заявленное решение, а не окончательно признанное математическим сообществом. Доказательство только опубликовано и сейчас будет разбираться независимыми математиками. Именно поэтому корректнее говорить «OpenAI заявила о решении».
Официальная публикация OpenAI:
On the Navier–Stokes Millennium Prize Problem — OpenAI
Разбор Nature:
OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’ — Nature
Разбор The Guardian:
OpenAI claims to have solved maths problem that stumped humans for decades — The Guardian
Если доказательство устоит, вопрос уже не в том, может ли ИИ заниматься новой математикой.
Вопрос — насколько быстро изменится сама модель научного исследования.
8 сентября OpenAI опубликовала решение одной из семи знаменитых задач тысячелетия — задачи существования и гладкости решений уравнений Навье—Стокса.
Это не очередной бенчмарк и не олимпиадная задача. Проблема оставалась открытой около 90 лет, а Clay Mathematics Institute назначил за её решение премию $1 млн.
Если совсем просто: уравнения Навье—Стокса описывают движение жидкостей и газов. Один из фундаментальных вопросов состоял в том, может ли из изначально гладкого состояния возникнуть сингулярность — точка, где математическое решение фактически «взрывается».
Система OpenAI утверждает: да, может, и приводит доказательство возникновения такой сингулярности за конечное время.
И вот что здесь особенно интересно с точки зрения разработки ИИ.
Для поиска решения использовалась ещё не выпущенная внутренняя модель OpenAI, которая, по заявлению компании, существенно сильнее GPT-6 Astra.
Но работала она не одна.
OpenAI запустила систему примерно из 10 000 одновременно работающих AI-агентов. У агентов были инструменты: доступ к кэшированной копии интернета, возможность запускать код и взаимодействовать внутри групп.
На поиск решения ушло около 88 часов.
После этого результат был не просто выдан текстом. OpenAI опубликовала само доказательство и его формальную проверяемую версию на Lean.
Это важная деталь.
Мы довольно быстро движемся от модели в стиле:
«спросил LLM → получил ответ»
к системе:
модель → тысячи агентов → инструменты → код → формальная верификация → результат.
И в этот раз результатом потенциально стало решение одной из самых известных нерешённых математических задач человечества.
Внимание: это заявленное решение, а не окончательно признанное математическим сообществом. Доказательство только опубликовано и сейчас будет разбираться независимыми математиками. Именно поэтому корректнее говорить «OpenAI заявила о решении».
Официальная публикация OpenAI:
On the Navier–Stokes Millennium Prize Problem — OpenAI
Разбор Nature:
OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’ — Nature
Разбор The Guardian:
OpenAI claims to have solved maths problem that stumped humans for decades — The Guardian
Если доказательство устоит, вопрос уже не в том, может ли ИИ заниматься новой математикой.
Вопрос — насколько быстро изменится сама модель научного исследования.