OpenAI розв’язала 90-річну проблему Нав’є—Стокса за допомогою 10 000 агентів ШІ за 88 годин
За словами OpenAI, компанія розв’язала проблему існування та гладкості Нав’є—Стокса, одну із семи задач тисячоліття, лише за 88 годин, скоординувавши приблизно 10 000 агентів ШІ. Математична проблема, яка полягає у з’ясуванні того, чи може гладкий тривимірний рух рідини «перерватися», залишалася нерозв’язаною понад 90 років. В OpenAI заявили, що доведення було згенероване внутрішньою моделлю, значно потужнішою за GPT-6 Astra, і містить як аналітичне доведення, так і формальну верифікацію в Lean,
GateNews·09-09 03:43
