🤩 ИИ сделал то, чего математики не могли 200 лет: 10 тысяч агентов нашли решение задачи тысячелетия

Новая модель OpenAI вместе с 10 тысячами ИИ-агентов работала около 88 часов. За это время было сгенерировано порядка 2,7 млн сообщений и 130 млрд токенов. В результате получилось математическое доказательство объёмом около 165 страниц, которое дополнительно формализовали в Lean для компьютерной проверки.

Речь идёт о проблеме Навье–Стокса - одной из семи «задач тысячелетия». Учёные десятилетиями пытаются доказать, могут ли решения уравнений, описывающих движение жидкостей и газов, за конечное время прийти к сингулярности.

По утверждению OpenAI, ИИ нашёл математический сценарий, подтверждающий такую возможность.

Если доказательство признают корректным, Навье–Стокса станет лишь второй решённой задачей тысячелетия после гипотезы Пуанкаре, доказанной Григорием Перельманом.

Но окончательный вердикт ещё впереди - результат предстоит проверить независимым математикам.

👉 Что именно обнаружил ИИ, как работали 10 тысяч агентов и почему этот результат может изменить научные исследования - подробно разобрали в статье на нашем сайте.

💙 АНО РТИИ в Max