ИИ решило задачу по математике, но люди не могут понять объяснение

В начале этого месяца OpenAI сообщила, что 10 000 ИИ-агентов за 88 часов, создали 166-страничное доказательство того, что жидкости, описываемые уравнениями Навье–Стокса, могут развить сингулярность за конечное время. Если это будет подтверждено, результат позволит решить одну из 6 оставшихся Задач тысячелетия, сформулированных Математическим институтом Клэя.

Математики в целом признают доказательство технически корректным, отчасти потому, что оно сопровождается формальной верификацией на языке программирования Lean. Однако ученые-люди не могут постичь до конца это объяснение.

«До сих пор извлечь какое-либо человеческое понимание из этого нового доказательства ИИ крайне сложно», — рассказал NPR Джеймс Мейнард, математик из Оксфордского университета.

«Эта статья написана не для людей», — вторит ему Хавьер Гомес-Серрано, математик из Университета Брауна, по словам которого доказательство сможет принести пользу науке лишь после «серьёзной переработки», однако «на сегодняшний день статья нас ничему не учит».

После этого OpenAI объявила о сотрудничестве с независимой Консультативной группой по математике и искусственному интеллекту на базе Института перспективных исследований Принстона.