Искусственный интеллект от компании OpenAI нашел решение одной из семи задач тысячелетия. Новая модель доказала существование и гладкость решений уравнений Навье — Стокса.
Разработчики OpenAI представили результаты работы своего последнего ИИ, сумевшего справиться с одной из семи великих математических проблем.
Согласно официальному заявлению компании, их новая модель смогла доказать существование и гладкость решений уравнений Навье — Стокса. В сообщении на корпоративном ресурсе поясняется, что выводы, сформулированные внутренней системой, подтверждают возможность возникновения сингулярности за определенный промежуток времени в процессах динамики жидкостей.
В качестве доказательства специалисты опубликовали не только текстовую интерпретацию логики решения, но и его строгую формализацию, выполненную на языке Lean.
