ИИ OpenAI предложил доказательство для задачи, над которой математики работают десятилетиями. За официальное решение этой проблемы предусмотрена премия в миллион долларов.
OpenAI заявила, что ее искусственный интеллект предложил решение задачи Навье — Стокса — одной из семи знаменитых «задач тысячелетия».
Эти уравнения описывают движение жидкостей и газов и используются, например, в метеорологии и инженерных расчетах. Главная проблема в том, чтобы доказать, что их решения всегда существуют и остаются гладкими.
Для поиска ответа компания задействовала масштабную систему из тысяч ИИ-агентов. Одни искали возможные пути к доказательству, другие проверяли, где оно может оказаться неверным. После этого результат отдельно оформили и проверили в системе формального доказательства Lean.
В OpenAI утверждают, что к решению модель пришла 5 сентября. При этом окончательно считать задачу закрытой можно будет только после независимой проверки математическим сообществом.
