ME News, Setyembre 9 (UTC+8), inanunsyo ng OpenAI na nalutas ang isa sa mga Millennium Prize Problems, ang problemang existence at smoothness ng Navier-Stokes, na naka-antay na sa loob ng halos 90 taon.
Ang patotoo na ito ay natapos ng isang grupo ng mga agent gamit ang isang susunod na henerasyon na modelo ng OpenAI na mas malakas kaysa sa GPT-6 Astra, kung saan sinabing ginamit ng OpenAI ang pare-parehong paggawa ng humigit-kumulang 10,000 mga agent na nagtrabaho nang sabay-sabay, na nagtagal ng humigit-kumulang 88 oras upang makamit ang patotoo, at pagkatapos ay nilapat ng GPT-6 Astra ang 17 oras upang matapos ang pormal na pag-verify sa Lean theorem prover. Ipinakikita ng patotoo na ang three-dimensional fluid motion ay maaaring magkaroon ng singularity sa isang limitadong panahon: ang vortices ay nagkukumpuni pababa, ang core ay hinahawakan at pinapabilis hanggang sa ang bilis ay walang hanggan, habang ang kabuuang enerhiya ng sistema ay nananatiling limitado. Kinabibilangan na ng OpenAI ang 165-pahina na draft ng patotoo at ang pormalisadong code sa Lean, at sinabi nila na hindi sila maghahangad ng $1 milyon na pera. Kasalukuyan pa ring nakalista ng Clay Mathematics Institute ang problema bilang hindi nalulutas, dahil ayon sa mga patakaran, kailangan ng solusyon na mabasa sa isang kwalipikadong journal at manatili sa loob ng hindi bababa sa dalawang taon, at makakuha ng pangkalahatang pagkilala mula sa komunidad ng matematika bago ito maaaring isaalang-alang para sa parangal. (Source: X)
