OpenAI oznámila řešení jednoho z největších matematických problémů: AI na něm pracovala 88 hodin
OpenAI oznámila, že její experimentální systém umělé inteligence našel řešení problému Navierových–Stokesových rovnic, jednoho ze sedmi slavných „problémů tisíciletí“. Matematický problém zůstával nevyřešený přibližně 90 let a souvisí s tím, jak rovnice popisují proudění kapalin a plynů.
Při hledání důkazu OpenAI použila systém přibližně 10 000 AI agentů pracujících paralelně. K výsledku se dostali zhruba za 88 hodin. Následná formální kontrola důkazu pomocí GPT-6 Astra a systému Lean trvala dalších 17 hodin.
AI vygenerovala přibližně 130 miliard tokenů
Podle informací OpenAI si agenti během práce přímo na problému Navierových–Stokesových rovnic vyměnili přibližně 2,7 milionu zpráv a vytvořili kolem 130 miliard výstupních tokenů.
Výsledný důkaz ukazuje, že za určitých podmínek může původně hladké proudění kapaliny během konečného času vytvořit singularitu, tedy stav, kdy matematické řešení přestane být hladké. Navierovy–Stokesovy rovnice mají zásadní význam například pro aerodynamiku, předpověď počasí, modelování proudění vody nebo výzkum krevního oběhu.
OpenAI zveřejnila matematickou práci i formalizovaný důkaz, společnost však neplánuje usilovat o odměnu ve výši jednoho milionu dolarů. Výsledek stále prochází nezávislým hodnocením matematické komunity, a proto je zatím přesnější mluvit o oznámeném řešení než o definitivně potvrzeném uzavření problému.
