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