Российский ученый объяснил, как ИИ-агенты решили задачу Навье — Стокса

Российский ученый Максим Абрамов объяснил, что для решения задачи Навье — Стокса потребовалось около 10 тысяч ИИ-агентов, работавших параллельно, а финальная проверка доказательства проводилась с помощью формального языка Lean.