ИИ ПРЕДЛОЖИЛ РЕШЕНИЕ ОДНОЙ ИЗ ГЛАВНЫХ МАТЕМАТИЧЕСКИХ ЗАДАЧ

8 сентября OpenAI сообщила, что её ИИ предложил решение проблемы Навье—Стокса — одной из семи знаменитых «задач тысячелетия».

За решение каждой такой задачи Clay Mathematics Institute назначил премию в $1 млн.

Если совсем просто: уравнения Навье—Стокса описывают движение жидкостей и газов. Один из фундаментальных вопросов, связанных с ними, математики не могут решить уже десятилетиями.

OpenAI утверждает, что система сформировала математическое доказательство и представила его формализованную версию в Lean — системе для компьютерной проверки математических доказательств.

Но самое важное:

Официально задача пока НЕ считается решённой.

Работу должны независимо проверить специалисты, а Clay Mathematics Institute по-прежнему относит проблему Навье—Стокса к нерешённым.

Если доказательство подтвердят, это станет крупным событием не только для математики, но и для развития искусственного интеллекта.

Пока же корректнее говорить: ИИ предложил решение — действительно ли оно работает, ещё предстоит выяснить.

ИСТОЧНИКИ

OpenAI:
https://openai.com/research/

Clay Mathematics Institute:
https://www.claymath.org/millennium-problems/

commit

Telegram: https://t.me/commit_log
Дзен: https://dzen.ru/id/6a9e5514d8b38e70e48cd730