OpenAI ने 80 साल पुराने गणित के सवाल को बिना विशेष मॉडल के सुलझा दिया

OpenAI के सामान्य उद्देश्य वाले रीज़निंग मॉडल ने अभी-अभी विविक्त ज्यामिति की 80 साल पुरानी एक धारणा को तोड़ा है। मॉडल को गणित के लिए तैयार नहीं किया गया था। यह उसी आर्किटेक्चर पर चलता है जो ईमेल लिखता है और Python लिखता है, और मंगलवार को इसने ज्यामितीय विन्यासों का एक नया परिवार उत्पन्न किया जिसे अब तक चार गणितज्ञों ने सत्यापित कर लिया है।

समस्या का बयान धोखे की हद तक सरल है। एक तल पर n बिंदु लीजिए। उनके कितने युग्म ठीक एक-दूसरे से उतनी ही दूरी पर बैठ सकते हैं, मान लीजिए एक इकाई? पॉल एर्डेश ने यह सवाल 1946 में रखा था और एक ऊपरी सीमा सुझाई थी: लगभग n की घात (1 जोड़ o(1)), “रैखिक से बस जरा ज़्यादा” कहने का संक्षिप्त रूप। दशकों तक सबसे अच्छी ज्ञात व्यवस्थाएँ वर्ग ग्रिड के रूपांतर रहीं, और ग्रिड उस छत के बहुत क़रीब बैठा रहा। काम कर रहे गणितज्ञ इस सीमा को मूलतः कसकर लगी हुई मान कर चलते थे।

OpenAI के मॉडल ने सीमा को कसा नहीं। उसे तोड़ दिया। सिस्टम ने बिंदुओं की व्यवस्थाओं का एक पूरा परिवार पेश किया, जिसमें कम से कम n की घात (1 जोड़ δ) इकाई-दूरी वाले युग्म हैं, किसी निश्चित δ के लिए जो शून्य से बड़ा है। यह कोई परिष्करण नहीं है; यह धारणा के केंद्रीय दावे का प्रति-उदाहरण है। काम की समीक्षा करने वाले चार गणितज्ञों में से एक, विल साविन ने नए घातांक को एक साफ़-सुथरे व्यंजक तक कसा। टॉमस ब्लूम, मेलनी वुड और नोगा आलोन, सत्यापन-दल के बाक़ी सदस्यों ने पुष्टि की कि निर्माण टिकता है।

आपको यह भी पसंद आ सकता हैOpenAI के नए वॉइस मॉडल का सोचना अब उसी ऑडियो लूप के अंदर होता है, और जो ख़ामोशी AI की पहचान करवा देती थी, वह ग़ायब हो जाती है

इस तरीक़े में दिलचस्प बात यह है कि वह ज्यामिति के भीतर से नहीं आया। मॉडल बीजगणितीय संख्या-सिद्धांत में पार चला गया, गाउसीय पूर्णांकों को अन्य बीजगणितीय संख्या-क्षेत्रों तक बढ़ाया और प्राप्त जालिक के बिंदुओं को सम्भावित विन्यासों की तरह बरता। वह पुल, ज्यामिति को संख्या-सिद्धांत में खींच लाना, वह छलाँग था जिसे इंसान आठ दशकों तक छोड़ते रहे। यह वह तरह की चाल है जिसे गणित-सेमिनार में एक धीमी सहमति-गर्दन और एक लम्बी ख़ामोशी मिलती है।

काम कर रहे गणितज्ञों की प्रतिक्रियाएँ पहले ही दिन के भीतर आ गईं। फ़ील्ड्स पदक विजेता तिमोथी गावर्स ने इसे “एआई द्वारा एक सच में जाने-माने गणितीय सवाल को हल करने का पहला सचमुच साफ़ उदाहरण” कहा। OpenAI के शोधकर्ता अलेक्ज़ेंडर वेई ने लिखा कि नतीजा उस तरह का है जिसे Annals of Mathematics का कोई समीक्षक “बिना ज़रा भी हिचक के” मान लेगा। यह आख़िरी दावा परखा जा सकता है। प्रमाण पीडीएफ़ के रूप में प्रकाशित हो चुका है, साथ में एक टिप्पणी-दस्तावेज़ है, और बड़ा गणितीय समुदाय अभी पढ़ रहा है।

जिस फ़्रेम पर OpenAI टिकी है वह यह है कि यह पहली बार है जब कोई एआई-तंत्र किसी गणितीय क्षेत्र के केंद्र में पड़ी कोई प्रमुख खुली समस्या स्वायत्त रूप से हल करता है। शब्द “स्वायत्त” यहाँ बहुत बोझ उठाता है। मॉडल ने रचना तैयार की; घोषणा निकलने से पहले प्रमाण को चार इंसानी गणितज्ञों ने छाना, तराशा और दबाव में जाँचा। यह भेद महत्व रखता है, क्योंकि OpenAI पहले भी यहाँ खड़ी रही है।

अक्तूबर 2025 में कंपनी ने यह दावा प्रसारित किया था कि एक दूसरे आंतरिक मॉडल ने एर्डेश द्वारा रखे दस खुले सवाल हल कर दिए हैं। कुछ ही दिनों में गणितज्ञों ने दिखा दिया कि उन “समाधानों” में से कई या तो पहले से ज्ञात थे या सीधे-सीधे ग़लत थे। OpenAI ने वह व्यापक दावा वापस ले लिया। वही प्रकरण इस सप्ताह की घोषणा के मॉडल के नाम के बजाय सत्यापनकर्ताओं के नामों से शुरू होने की वजह है। चारों गणितज्ञ ही गारंटी हैं।

पकड़ रखने लायक़ दूसरी बात यह है कि नतीजा किस तरह के मॉडल ने तैयार किया। OpenAI ने सिस्टम का नाम नहीं बताया, केवल इतना कि यह एक सामान्य उद्देश्य वाला रीज़निंग मॉडल है, वही परिवार जो चैट सँभालता है, कोड लिखता है और ग्राहक-सेवा टिकट सुलझाता है। चक्र में कोई गणित-विशेष संस्करण नहीं है। वही आर्किटेक्चर जो रोज़मर्रा की बातचीत सँभालता है, इसे सँभाल लिया। निहितार्थ यह कि एआई-संचालित गणित का अड़ंगा शायद कोई गणित-विशेष मॉडल नहीं था। शायद वह गणना-शक्ति और सब्र था।

यही अड़ंगा टूटना असली कहानी है। बहुत समय तक शोधकर्ताओं की काम-धारणा यह थी कि सच में मौलिक गणित के लिए कोई न कोई विशेष रूप से बने तंत्र चाहिए होंगे: प्रमेय-सिद्धकारी, औपचारिक सत्यापन के ढाँचे, प्रमाण-संग्रहों पर प्रशिक्षित संकीर्ण मॉडल। मंगलवार को जो उतरा वह दूसरी तरह का सबूत है। एक रीज़नर को एक मशहूर, अनसुलझे, अस्सी साल पुराने सवाल पर लगाया गया; पर्याप्त सोचने की जगह दी गई, और उसने ऐसा कुछ निकाला जिस पर साविन, ब्लूम, वुड और आलोन सहमत थे कि यह सही है। चैट विंडो से एर्डेश तक का रास्ता अनुमान से छोटा निकला।

अनुशंसित पठनजो पीढ़ी कभी ‘ना’ नहीं सुनती, उसे प्यार और दफ़्तर दोनों भारी पड़ रहे हैं

कुछ चेतावनियाँ अभी भी लागू हैं। मॉडल जनता के लिए उपलब्ध नहीं है। शुरुआती चार-गणितज्ञ दल से बाहर के स्वतंत्र समूह आने वाले हफ़्तों में प्रमाण पढ़ेंगे, और Annals या किसी अन्य शीर्ष पत्रिका के पूर्ण समकक्ष-समीक्षा की प्रक्रिया महीनों लेगी। घातांक δ छोटा है। यह निर्माण गोले पर या ऊँचे आयामों में इकाई-दूरी की संबंधित समस्या को हल नहीं करता। इनमें से कोई बात मंगलवार को जो हुआ उसे छोटा नहीं करती। बस उसकी जगह तय करती है।

जो बदलता है वह उम्मीद है। साल भर पहले गणित में एआई पर सवाल यह था कि क्या ये तंत्र कभी ज़ोरदार मौलिक प्रमाण निकाल पाएँगे। इस हफ़्ते से सवाल यह है कि अगली खुली समस्या कौन-सी गिरेगी, और क्या प्रमाण सत्यापित करने वाले गणितज्ञों को वैसे ही श्रेय मिलता रहेगा जैसा यहाँ आलोन और उनके सहयोगियों को मिला।

1946 की एक धारणा उन ख़ामोश चीज़ों में से एक है जो किसी आले पर बैठी सही हाथ का इंतज़ार करती हैं। जो हाथ इसे इस हफ़्ते उठा लाया, वह एक GPU क्लस्टर पर चल रहा था, इस काम के लिए तैयार नहीं किया गया था, और चार गणितज्ञों के देखते रहते हुए उसने काम पूरा कर लिया।

इस तरह की और सामग्री

एक AI ने काम करने वाला ज़ीरो-डे एक्सप्लॉइट लिखा — Google ने पहले पकड़ लिया

Nvidia बनी AI अर्थव्यवस्था का इकलौता विफलता-बिंदु — यही था दांव

ChatGPT अब Excel और Google Sheets के अंदर रहता है, और आपके देखते-देखते आपके फ़ॉर्मूले बदल देता है

दो मिलियन डॉलर का कर्मचारी: जब AI मानव श्रम को परम लाभ में बदल देती है

एआई बदल रहा है कि हम कैसे सोचते, लिखते और काम पूरा करते हैं

10,000 परमाणुओं वाला धातु का एक कण एक ही समय में दो जगहों पर रखा गया