ME News की सूचना, 9 सितंबर (UTC+8), OpenAI ने नेवियर-स्टोक्स के अस्तित्व और चिकनाहट की समस्या को हल करने की घोषणा की, जो लगभग 90 वर्षों से अनसुलझी थी।
इस साबिती को GPT-6 Astra से काफी अधिक क्षमतावान एक OpenAI नवीनतम मॉडल द्वारा एक सेट ऑफ एजेंट्स द्वारा पूरा किया गया था, जिसमें OpenAI के अनुसार लगभग 10,000 एजेंट्स समानांतर रूप से काम कर रहे थे और साबिती प्राप्त करने में लगभग 88 घंटे लगे, जिसके बाद GPT-6 Astra ने Lean प्रमेय प्रमाणकर्ता में 17 घंटे में औपचारिक सत्यापन पूरा किया। साबिती दर्शाती है कि त्रिआयामी फ्लूइड गति सीमित समय में विचित्रता प्रदर्शित कर सकती है: भ्रमण अंदर की ओर संकुचित होते हैं, कोर को खींचकर तेजी से त्वरित किया जाता है जब तक कि वेग अनंत न हो जाए, जबकि प्रणाली की कुल ऊर्जा सीमित बनी रहती है। OpenAI ने 165 पृष्ठों का प्रमाण प्रस्तुति और Lean का औपचारिक कोड प्रकाशित किया है और 100 डॉलर की पुरस्कार राशि प्राप्त करने की इच्छा नहीं रखता है। वर्तमान में क्ले मैथमेटिकल इंस्टीट्यूट इस समस्या को अभी भी हल नहीं हुआ मानता है, क्योंकि नियमों के अनुसार, हल को किसी पात्र पत्रिका में प्रकाशित किया जाना चाहिए, कम से कम दो सालों तक संग्रहित रहना चाहिए, और गणितीय समुदाय द्वारा सामान्य स्वीकृति प्राप्त करनी चाहिए, तभी पुरस्कार प्रदान किया जाएगा।（स्रोत: X）
