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