Новости России

OpenAI заявила о прогрессе в решении одной из «задач тысячелетия»

9 сентября 2026 г.Carlos Mendoza1 мин

Компания OpenAI представила потенциальное решение фундаментальной математической проблемы, касающейся существования и гладкости решений уравнений Навье — Стокса. Это достижение относится к списку «задач тысячелетия».

Доказательство, сформированное внутренней ИИ-системой OpenAI, подтверждает гипотезу о том, что в динамике движения жидкости, описываемой данными уравнениями, за конечное время может возникнуть сингулярность.

Материалы исследования опубликованы в открытом доступе в двух форматах: в виде подробного текстового изложения логики доказательства и его строгой математической формализации на языке программирования Lean.