गणित, कंप्यूटर विज्ञान और भौतिकी में तीन नई खोजें
OpenAI का यह दावा कि उसके मॉडल्स ने हार्मोनिक विश्लेषण, जटिलता सिद्धांत, और क्वांटम फील्ड थ्योरी में प्रमुख खुले प्रश्नों को सुलझाने वाले प्रमाण तैयार किए हैं — जिसमें एक उप-घातीय-समय एल्गोरिदम भी शामिल है जो Exponential Time Hypothesis को खंडित कर सकता है — AI-सहायता प्राप्त शोध के लिए एक संभावित निर्णायक मोड़ के रूप में देखा जा रहा है। टिप्पणीकार चर्चा करते हैं कि ये परिणाम समस्या-हार्डनेस, P बनाम NP, और Standard Model की गणितीय नींव के बारे में लंबे समय से चली आ रही मान्यताओं के लिए क्या अर्थ रखते हैं, जबकि यह भी नोट करते हैं कि ये एल्गोरिदम अभी व्यावहारिक प्रभाव से बहुत दूर हैं। उत्साह के साथ-साथ, कई लोग सत्यापन, श्रेय और प्राथमिकता, शोधकर्ताओं के prompts को training data के रूप में उपयोग करने, और उच्च-स्तरीय सैद्धांतिक कार्य के विश्वविद्यालयों से opaque निजी AI labs की ओर खिसकने को लेकर चिंताएँ भी उठाते हैं.
ETH / #SAT में बड़ी सफलता
- थ्रेड का केंद्र इस दावे पर है: “एक्सपोनेंशियल टाइम हाइपोथीसिस गलत है”, क्योंकि k-CNF (#k-SAT) के संतुष्ट करने वाले असाइनमेंट्स की ठीक-ठीक गणना के लिए एक निर्धारक उप-घातीय-समय एल्गोरिदम दिया गया है, जिसका रनिंग टाइम लगभग (2^{n / (\log n)^{1/2+o(1)}}) है।
- यह अभी भी सुपरपॉलीनॉमियल है और पॉलीनॉमियल से बहुत दूर है; पोस्ट करने वाले इस बात पर ज़ोर देते हैं कि इसका मतलब P=NP नहीं है और न ही यह व्यवहार में क्रिप्टोग्राफी को तोड़ता है।
- सामान्य रिडक्शनों के तहत परिणाम कितना मज़बूत है, इस पर बहस है: कुछ लोग कहते हैं कि यह ETH/SETH-आधारित कई हार्डनेस परिणामों को कमज़ोर करता है; दूसरे ध्यान दिलाते हैं कि रिडक्शनों से इंस्टेंस का आकार इतना बढ़ सकता है कि उप-घातीय सीमा वहाँ लागू ही न हो।
अन्य गणितीय और भौतिकी परिणाम
- Kakeya/लोकल स्मूदिंग: सभी आयामों में Kakeya और संबंधित हार्मोनिक विश्लेषण अनुमानों के समाधान को “Fields Medal–स्तरीय” और पहले के बिखरे हुए प्रगति-पथ का बड़ा एकीकरण बताया गया है।
- भौतिकी/QCD–Yang–Mills: 4D Yang–Mills/QCD का अस्तित्व और स्टैंडर्ड मॉडल का एक “समापन” कठोर क्वांटम फील्ड थ्योरी के लिए बड़ा माना गया है। हालांकि, mass gap अभी संबोधित नहीं किया गया है, और कुछ लोग ज़ोर देते हैं कि यह मुख्यतः वही औपचारिक रूप देता है जिसका भौतिकविद पहले से उपयोग करते रहे हैं।
जटिलता और P बनाम NP पर प्रभाव
- कुछ टिप्पणीकार अपनी प्राथमिक धारणाओं को थोड़ा P=NP या P बनाम NP की अनिर्णेयता की ओर अपडेट करते हैं; दूसरे इसे बहुत कम बदलाव मानते हैं, और “मात्र-उप-घातीय” तथा पॉलीनॉमियल के बीच विशाल अंतर की ओर इशारा करते हैं।
- सूक्ष्म-स्तरीय हार्डनेस मान्यताओं के रूप में ETH का व्यापक उपयोग अब कई पुराने परिणामों को नए तरीके से सशर्त बनाता है और कई नए खुले प्रश्न पैदा करता है।
Lean औपचारिकीकरण और AI की भूमिका
- तीनों परिणामों के Lean औपचारिकीकरण मौजूद हैं; कई लोग Lean theorem statements को ही वास्तविक आधार-तथ्य मानते हैं।
- इस पर चर्चा है कि प्राकृतिक-भाषा AI proofs “कच्चा शोध डेटा” हैं, जिन्हें केवल correctness certificates नहीं बल्कि समझ और सिद्धांत में बदलने के लिए मानव द्वारा distilled करना होगा।
वैज्ञानिक व्यवहार, श्रेय, और पहुँच
- OpenAI की नई प्रक्रिया, जिसमें “shepherd” विशेषज्ञों की भर्ती और रिलीज़ की अलग-अलग रणनीतियाँ (तुरंत, केवल Lean, या भौतिकी के लिए विलंबित) शामिल हैं, पर मिली-जुली प्रतिक्रिया है।
- उत्साही लोग इसे सहयोगी और क्षेत्र को खोलने वाला मानते हैं; आलोचक इसे PR, पक्षपात, और निजी प्रयोगशालाओं द्वारा विश्वविद्यालयों की जगह प्रमुख खोजों का मुख्य स्थल बनते हुए देखते हैं।
- इस बात की प्रबल चिंता है कि मॉडल्स शोधकर्ताओं के prompts पर प्रशिक्षित हो सकते हैं, और इस तरह उन्हीं समुदायों से प्रतिस्पर्धा कर सकते हैं तथा उन्हीं को “strip-mine” कर सकते हैं जो उन्हें feed करते हैं।
- वैज्ञानिक क्षमता के कुछ निजी AI labs में केंद्रीकरण, और गणित के “busy-work formalization” में बदल जाने, न कि मानव खोज में, को लेकर व्यापक चिंता है।