OpenAI ने नेवियर-स्टोक्स समीकरणों में सीमित समय के एकता के प्रमाण का दावा किया है

ChainCatcher के अनुसार, 8 सितंबर को, OpenAI ने घोषणा की कि उसका आंतरिक बहु-एजेंट सिस्टम सफलतापूर्वक सिद्ध कर चुका है कि त्रिआयामी असंपीड्य नेवियर-स्टोक्स समीकरण एक सीमित समय में विचित्रता बना सकता है, जिससे इस शताब्दी की समस्या का समाधान हो गया है। यह सिद्धांत OpenAI के एक ऐसे मॉडल द्वारा संचालित हुआ, जो GPT-6 Astra से अधिक क्षमतावान है, और 5 सितंबर को प्रारंभिक परिणाम प्राप्त हुए, जिसके बाद 17 घंटे के Lean फॉर्मल प्रमाणीकरण से पुष्टि की गई। OpenAI ने कहा कि यह सिद्धांत दर्शाता है कि चिकनी बाह्य बलों के अधीन, स्थिर द्रव एक आंतरिक सर्पिल और खींचे जाने वाले वर्टेक्स संरचना में विकसित हो सकता है, जिसकी ऊर्जा सीमित रहती है लेकिन वेग असीमित रूप से बढ़ता है, जो हजारवीं पुरस्कार समस्या के "C" और "D" मामलों के समान है। पूरी समस्या के हल के लिए लगभग 10,000 समानांतर एजेंटों का उपयोग किया गया, जिन्होंने लगभग 2.7 मिलियन संदेश भेजे और लगभग 1300 अरब आउटपुट token का उपयोग किया। OpenAI ने स्वीकार किया कि इस प्रयास को Anthropic के कर्मचारी Levent Alpöge और NYU के प्रोफेसर Tristan Buckmaster के समानांतर कार्य की अफवाहों से प्रेरित किया गया था, और बताया कि दोनों के परिणाम Euler समीकरणों की नियमितता पर भिन्न हैं: OpenAI ने बिना बाह्य बल के मामले को सिद्ध किया, जबकि दूसरी टीम ने बाह्य बल के मामले को सिद्ध किया।