OpenAI заявила, что ее ИИ решил одну из семи математических «задач тысячелетия» — 9 сентября 2026 г. в 11:57:46.863
OpenAI заявила, что ее ИИ решил одну из семи математических «задач тысячелетия» Компания OpenAI заявила, что ее внутренняя ИИ-модель нашла решение одной из семи «задач тысячелетия», определенных Математическим институтом Клэя в 2000 году, — проблемы существования и гладкости решений уравнений Навье — Стокса. Эти уравнения XIX века описывают движение жидкостей и газов и используются в проектировании самолетов, прогнозировании погоды и изучении кровотока. В течение почти 90 лет ученые пытались выяснить, всегда ли математическое описание жидкости остается «гладким» (непрерывным и предсказуемым) или же движение потоков может приводить к «сингулярности» — коллапсу модели, при котором скорость жидкости за короткое время стремится к бесконечности. Согласно заявлению компании, система OpenAI математически доказала второй сценарий: изначально поток жидкости может самостоятельно разгоняться до бесконечных скоростей, образуя сингулярность. Для выполнения задачи разработчики объединили в единую сеть около 10 тысяч ИИ-агентов, которые в течение 88 часов обменивались идеями, запускали вычисления и сгенерировали около 130 млрд токенов. Еще 17 часов заняла формализация и проверка доказательства в системе Lean. Отмечается, что OpenAI не претендует на премию в 1 млн долларов от Математического института Клэя, полагающуюся за решение каждой из «задач тысячелетия». В то же время профессор математики Нью-Йоркского университета Тристан Бакмастер заявил, что OpenAI для решения задачи использовала наработки его совместного с коллегой проекта. По его словам, последний год они вместе с математиком Левентом Альпеге из Anthropic занимались этой проблемой, используя Claude и OpenAI Codex, куда загружали в том числе черновики своих исследований. Бакмастер утверждает, что OpenAI начала масштабную работу над задачей уже после того, как узнала об их возможном прорыве. На сайте Математического института Клэя задача Навье — Стокса по-прежнему остается нерешенной. По правилам института, после публикации потенциального решения должно пройти как минимум два года проверок, а также оно должно получить широкое признание математического сообщества. На данный момент, единственной официально решенной «задачей тысячелетия» остается гипотеза Пуанкаре, доказанная россиянином Григорием Перельманом