ИИ OpenAI взялся за задачу тысячелетия — математики уже нашли слабое место

OpenAI заявила, что внутренний ИИ нашел контрпример для задачи Навье—Стокса. На поиск ушло около 88 часов, а на формализацию в Lean — еще 17. Масштаб вычислений: 2,7 млн сообщений агентов и 130 млрд выходных токенов.

Однако независимые исследователи обнаружили расхождения между текстом доказательства и тем, что проверяет Lean. Код компилируется, но это еще не означает, что вся математическая работа верна. Пока перед нами заявленное решение, а не признанная теорема.

🔗 Читать: https://mltimes.ai/ii-openai-vzyalsya-za-zadachu-tysyacheletiya-matematiki-uzhe/