OpenAI: ШІ-доказ сингулярності в рівняннях Нав’є-Стокса
OpenAI повідомила, що її система довела утворення сингулярності за скінченний час у тривимірних рівняннях Нав’є-Стокса; формалізація в Lean зайняла 17 годин.
За повідомленням OpenAI, її внутрішня система створила аналітичний доказ того, що початково гладкий і нерухомий потік нестисливої рідини в трьох вимірах може втратити гладкість (утворити сингулярність) за скінченний час при збереженні скінченної енергії. Розв’язання отримали 5 вересня; роботу агентів почали 1 вересня.
У запропонованому варіанті формується вихор, який закручується всередину і витягується; центральна область стискається й прискорюється, при цьому енергія залишається скінченною. Компанія зазначила, що важливо було показати виникнення сингулярності через внутрішню динаміку рідини, а не через прикладання нескінченної зовнішньої сили.
Над розв’язанням одночасно працювала скоординована мережа агентів. Група, що займалася рівняннями Нав’є-Стокса, налічувала близько 10 000 одночасних агентів. Розв’язання з’явилося приблизно через 88 годин після запуску агентів; формалізація і перевірка в системі Lean виконані за 17 годин із використанням GPT‑6 Astra.
Агенти мали доступ до кешованої версії інтернету й інструментів для запуску коду, працювали в окремих групах і обмінювалися результатами. Ідеї консолідували за допомогою інструмента Codex. Під час усієї серії задач агенти обмінялися 4,9 млн повідомлень і згенерували близько 300 млрд вихідних токенів; під час безпосередньої роботи над Нав’є-Стоксом — близько 2,7 млн повідомлень і 130 млрд токенів.
Компанія повідомила про незалежність результату та вказала, що не використовувала матеріали інших дослідницьких груп до їхньої публікації і не застосовувала специфічні дані користувачів у роботі над задачею. OpenAI визнала пріоритет дослідників Anthropic і групи з Нью‑Йоркського університету щодо форсованого рівняння Ейлера і привітала їх з цим результатом.
OpenAI також зазначила, що не претендує на Премію тисячоліття і розглядає отриманий доказ як матеріал для подальшої перевірки і аналізу математичною спільнотою. Компанія нагадала про заклик головного наукового співробітника Якуба Пачоцького до готовності уповільнювати розробку найпотужніших моделей.
Дата публікації: 9 вересня 2026 року.
Матеріали на GNcrypto надаються виключно з інформаційною метою і не є фінансовою порадою. Ми намагаємось забезпечувати точність та актуальність даних, однак не можемо гарантувати їхню повну достовірність чи надійність. GNcrypto не несе відповідальності за можливі помилки, упущення або фінансові збитки, що можуть виникнути внаслідок використання цієї інформації. Усі дії ви здійснюєте на власний ризик. Завжди проводьте власне дослідження та звертайтесь до фахівців. Детальніше дивіться на наших сторiнках Умови, Політика конфіденційності та Дисклеймер.
Статті цього автора
