OpenAI решила одну из семи «задач тысячелетия» — ИИ справился за 88 часов с проблемой, которую математики не могли решить около 200 летНовая модель компании получила доказательство по проблеме существования и гладкости решений уравнений Навье — Стокса — одной из семи задач тысячелетия, над которой математики работают около 200 лет.
Для поиска решения использовали 10 000 ИИ-агентов, основной этап занял 88 часов. Если доказательство пройдёт независимую проверку, это станет второй решённой «задачей тысячелетия» после гипотезы Пуанкаре, доказанной Григорием Перельманом.
Для тех, кто не шарит в матане:
Уравнения Навье — Стокса описывают движение жидкостей и газов. Главный нерешённый вопрос был в том, может ли из совершенно нормального, гладкого движения жидкости за конечное время возникнуть «сингулярность» — точка, где скорость по математической модели становится бесконечной. Вязкость должна сглаживать такие эффекты, поэтому долгое время никто не мог строго доказать, возможно это вообще или нет.
Модель OpenAI нашла такой сценарий: она построила математический вихрь, который закручивается внутрь, становится всё тоньше и длиннее и одновременно ускоряется. В определённый момент скорость в нём уходит в бесконечность, хотя энергия всей системы остаётся конечной, а внешняя сила остаётся гладкой. То есть ИИ не просто «посчитал пример», а построил доказательство того, что уравнения действительно могут привести к сингулярности.
