OpenAI заявила про розв’язання однієї з головних математичних задач: ШІ працював над нею 88 годин
OpenAI заявила, що її експериментальна система штучного інтелекту знайшла розв’язання задачі Нав’є — Стокса — однієї із семи знаменитих «задач тисячоліття». Ця математична проблема залишалася нерозв’язаною близько 90 років і пов’язана з тим, як рівняння описують рух рідин і газів.
Для пошуку доведення OpenAI використала систему приблизно з 10 000 ШІ-агентів, які працювали паралельно. Вони отримали результат приблизно за 88 годин, після чого формальна перевірка доведення за допомогою GPT-6 Astra та системи Lean тривала ще 17 годин.
ШІ використав близько 130 мільярдів токенів
За даними OpenAI, під час роботи безпосередньо над задачею Нав’є — Стокса агенти обмінялися приблизно 2,7 мільйона повідомлень і згенерували близько 130 мільярдів вихідних токенів.
Отримане доведення показує, що за певних умов початково гладкий рух рідини може за скінченний час призвести до сингулярності — стану, коли математичний розв’язок перестає залишатися гладким. Рівняння Нав’є — Стокса мають фундаментальне значення для аеродинаміки, прогнозування погоди, моделювання руху води та дослідження кровотоку.
OpenAI опублікувала математичну роботу та формалізоване доведення, однак компанія не планує претендувати на премію в $1 мільйон. Незалежна оцінка результату математичною спільнотою триває, тому наразі коректніше говорити про заявлене розв’язання, а не про остаточно підтверджене закриття задачі.
