80 वर्षों तक, संयोजक ज्यामिति की सबसे अडिग समस्याओं में से एक अलमारी पर पड़ी रही, जिसे कभी-कभी दावेदार गणितज्ञ धूल उड़ाकर निकालते रहे, लेकिन कभी सुलझाने में सफल नहीं हुए। अब एक AI ने इसे हल कर दिया।
एक आंतरिक OpenAI सामान्य तर्क मॉडल ने समतल इकाई दूरी समस्या का सबूत प्रस्तुत किया है, जो 1946 में प्रसिद्ध हंगेरियन गणितज्ञ पॉल एर्डोश द्वारा प्रस्तावित एक अनुमान है। यह सबूत, जो लगभग 125 पृष्ठों पर फैला हुआ है, समतल विन्यासों का एक अनंत परिवार स्थापित करता है, जिनमें पारंपरिक रूप से माने जाने वाले आदर्श व्यवस्थाओं की तुलना में अधिक इकाई-दूरी जोड़े होते हैं। सरल शब्दों में: AI ने ऐसे ज्यामितीय पैटर्न खोजे हैं जो 80 वर्षों तक गणितज्ञों द्वारा माने जाने वाली सीमा को तोड़ते हैं।
वास्तव में साबित क्या कहता है
प्लैनर यूनिट डिस्टेंस समस्या पूछती है: एक तल में n बिंदुओं को देखते हुए, अधिकतम कितने जोड़े ठीक एक इकाई की दूरी पर हो सकते हैं? एर्डोस ने इस गिनती पर एक ऊपरी सीमा का अनुमान लगाया, और दशकों तक, सबसे जाने जाने वाले विन्यास ग्रिड-जैसी संरचनाएँ थीं जो उनकी अनुमानित सोच की पुष्टि करती थीं।
ओपनएआई का मॉडल पूरी तरह से अलग रास्ता अपनाया। ज्ञात ग्रिड व्यवस्थाओं पर दोहराव के बजाय, इसने समस्या को बीजीय संख्या सिद्धांत के माध्यम से देखा और इसे अनंत क्लास फील्ड टावर्स नामक उन्नत गणितीय संरचनाओं से जोड़ा। परिणाम एक अनंत संरचनाओं का परिवार है जो पारंपरिक रूप से स्वीकृत उत्तम समाधानों को पार कर जाता है, और एर्डोश की अनुमानित उच्च सीमा को सीधे खारिज कर देता है। इस सुधार को लगभग 0.014 के घातांक के साथ मापा गया है।
इसे किसने सत्यापित किया, और यह क्यों महत्वपूर्ण है
फील्ड्स पदक विजेता टिम गाउवर्स ने कार्य की समीक्षा की। प्रिंसटन के गणितज्ञ विल साविन ने भी की। दोनों ने साबित किया कि सिद्धांत सही है। साविन ने विशेष रूप से लगभग 0.014 घातांक के आंकड़े पर सुधार की मात्रा को मापा।
घोषणा 20 मई, 2026 के आसपास हुई, और इसने शुद्ध शोध संदर्भों में AI तर्क प्रणालियों के क्या कर सकती हैं, इस बात पर चर्चा को तुरंत बदल दिया।
गणित के बारे में इसका क्या अर्थ है
शामिल तकनीकें, विशेष रूप से बीजीय संख्या सिद्धांत और नवीन गणितीय वस्तुओं का निर्माण, औपचारिक सत्यापन और ज़ीरो-नॉलेज प्रूफ़ प्रणालियों से सीधे संबंधित हैं।
औपचारिक सत्यापन एक गणितीय प्रमाण द्वारा साबित करने की प्रक्रिया है कि कोड वही करता है जो इसे करना चाहिए। यदि एआई तर्क मॉडल यहां दर्शाए गए स्तर पर साबित करने और उनकी पुष्टि करने में सक्षम हो सकते हैं, तो जटिल प्रोटोकॉल के औपचारिक सत्यापन की लागत और समय सीमा में भारी कमी आ सकती है।
ज़ीरो-नॉलेज प्रूफ़, जो गोपनीयता-केंद्रित ब्लॉकचेन और zk-rollups जैसे स्केलिंग समाधानों की आधारभूत क्रिप्टोग्राफिक तकनीक हैं, गहरे बीजगणितीय आधारों पर बने हुए हैं। ओपनएआई के मॉडल द्वारा इस समस्या को हल करने के लिए उपयोग की गई बीजगणितीय संख्या सिद्धांत की प्रकार, उसी गणितीय क्षेत्र में रहती है।
इस परिणाम से कोई विशिष्ट क्रिप्टो टोकन जुड़ा नहीं है, और जो कोई भी ऐसा दावा करता है, वह तथ्यों से आगे निकल रहा है।