Йдеться про рівняння, які описують рух рідин і газів. ШІ знайшов сценарій, за якого розв’язок може зазнати сингулярності за скінченний час, що відповідає одному з можливих варіантів розв’язання проблеми.
До процесу залучили тисячі ШІ-агентів, а фінальний доказ займає 165 сторінок. Втім, остаточно проблему ще не можна вважати розв’язаною, адже результат має пройти незалежну перевірку математичною спільнотою.
