8 सितंबर 2026 को, Open AI ने Navier–Stokes अस्तित्व और चिकनाई समस्या के लिए AI-जनित समाधान की घोषणा की, जिसे सात मिलेनियम पुरस्कार समस्याओं में से एक माना जाता है। इस घोषणा ने मानव और मशीन के बीच क्रेडिट आवंटन पर बहस छेड़ दी, जिसमें ट्रिस्टन बैकमैस्टर ने इसे "डीप ब्लू–कास्पारोव क्षण" कहा। मौजूदगी संबंधी प्रश्न उठे कि क्या mathematics अब तक के खेल जैसे शतरंज और गो की तरह "हल" होने के कगार पर है।

कि AI ने "गणित हल कर दिया" इस कथन की कहानी दो दोषपूर्ण धारणाओं पर आधारित है: पहली यह कि AI ने वास्तव में एक गणितीय समस्या हल की है, और दूसरी यह कि गणित केवल समस्याओं को हल करने के बारे में है। केवल एक उत्तर प्रदान करना— भले ही इसे formalmente प्रमाणित किया गया हो— मानव गणितज्ञों द्वारा समझा जा सके और उस पर निर्माण किया जा सके बिना पर्याप्त नहीं है।

गणित समस्या समाधान से बहुत व्यापक है। गणितज्ञ नए अवधारणाओं का विकास करते हैं, नए प्रश्न पूछते हैं, क्षेत्रों को एकीकृत करते हैं, समुदायों को शिक्षित करते हैं, और सुंदरता और गहराई के लिए प्रशंसित कार्यों का निर्माण करते हैं। "खेलते रहने" के बजाय पीछे हटने के बजाय, हमें गणित को एक खेल के रूप में वर्णित करने से इनकार करना चाहिए और इसके स्थान पर यह जांचना चाहिए कि गणित वास्तव में क्या है और हम इसे क्या बनाना चाहते हैं।

Open AI ने एक उत्तर प्रदान किया—नहीं, Navier–Stokes एक एकलता विकसित कर सकता है—एक Lean औपचारिककरण और एक अनौपचारिक manuscrip के साथ। Deep Thought के "42" से अधिक होने के बावजूद, यह अप्रसन्न करने वाला है क्योंकि प्रमाण के कई अवधारणाएं हैं, और अंतर्निहित समझ अभी भी अधूरी है।

मुख्य Entities: Companies: Open AI | People: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Locations: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University