Утром во вторник, 8 сентября, математики из OpenAI объявили, что группа из 10 000 автономных ИИ‑агентов под их руководством, работавших на продвинутой модели, недоступной широкой публике, обнаружила «сингулярность» в трёхмерных уравнениях Навье — Стокса. Тем самым была решена одна из шести остававшихся нерешёнными задач тысячелетия, сформулированных в 2000 году Математическим институтом Клэя. За решение каждой из них назначена премия в $1 млн. Результат был формально проверен на языке программирования Lean, что даёт математикам основания считать его правильным. Если результат выдержит дальнейшую проверку, то с большим отрывом станет самым важным математическим доказательством, полученным на сегодняшний день с помощью модели искусственного интеллекта. Возможно, он знаменует фундаментальный перелом в том, как математики будут подходить к сложным задачам.
Читать далееAI-агенты
[Перевод] ИИ решил одну из математических «задач тысячелетия» с призом в $1 млн
![Обложка: [Перевод] ИИ решил одну из математических «задач тысячелетия» с призом в $1 млн](/blog-media/0e5862fd489cfd48f297a7b2a6c40206c1e9a14631de997c80495c7c04219db3.webp)

