1. गणित जगत में चौंकाने वाली घोषणा

20 मई 2026 को, OpenAI ने घोषणा की कि उसके आंतरिक सामान्य तर्क मॉडल ने असतत ज्यामिति (डिस्क्रीट ज्योमेट्री) की एक केंद्रीय खुली समस्या—Erdős इकाई दूरी समस्या को स्वायत्त रूप से हल कर लिया है, जिसने लगभग 80 वर्षों तक इस क्षेत्र पर राज करने वाली एक परिकल्पना को पलट दिया।

यह पहली बार है जब किसी AI प्रणाली ने निम्नलिखित सभी कार्य किए हैं:

• 🤖 स्वायत्त रूप से मौलिक प्रमाण प्रस्तावित किया
• 🔗 विभिन्न क्षेत्रों को जोड़ा (बीजगणितीय संख्या सिद्धांत ↔ संयोजिक ज्यामिति)
• ✅ विश्व स्तरीय गणितज्ञों की कठोर सहकर्मी समीक्षा पास की
• 🏆 एक परिपक्व गणितीय उपक्षेत्र की केंद्रीय खुली समस्या हल की

“लगभग 80 वर्षों तक, गणितज्ञों का मानना था कि इष्टतम विन्यास मोटे तौर पर एक वर्गाकार ग्रिड जैसा दिखता है। OpenAI के एक मॉडल ने अब उस विश्वास को पलट दिया है, बेहतर प्रदर्शन वाले पूरी तरह से नए निर्माणों के परिवार की खोज की है।” — OpenAI, 20 मई 2026

2. समस्या: Erdős का भ्रामक रूप से सरल प्रश्न

1946 में, हंगेरियन गणितज्ञ Paul Erdős (1913–1996) ने एक ऐसी समस्या प्रस्तुत की जो एक बच्चे को समझाने के लिए पर्याप्त सरल थी, फिर भी लगभग एक सदी तक सबसे प्रतिभाशाली दिमागों को हैरान करने के लिए पर्याप्त गहरी थी:

प्रश्न

समतल में $n$ बिंदु दिए जाने पर, अधिकतम कितने जोड़े ठीक 1 इकाई दूर हो सकते हैं?

औपचारिक रूप से, यदि $u(n)$ को $n$ बिंदुओं में इकाई दूरी जोड़ों की अधिकतम संख्या के रूप में परिभाषित किया जाए:

$u(n) = \max_{\substack{P \subset \mathbb{R}^2 \\ |P| = n}} \big|\{\{p, q\} \subset P : \|p - q\| = 1\}\big|$

दृश्य सहज बोध

कागज़ पर बिंदु रखने की कल्पना करें। चुनौती: उन्हें इस प्रकार व्यवस्थित करना कि अधिक से अधिक जोड़े ठीक एक इकाई दूर हों?

    •─────•                    •──•──•
    │\   /│                    │\/|\/|
    │ \ / │                    │/\|/\|
    •──X──•         vs.        •──•──•
    │ / \ │                    │\/|\/|
    │/   \│                    │/\|/\|
    •─────•                    •──•──•

  यादृच्छिक स्थापना          वर्गाकार ग्रिड (Erdős निर्माण)
  (कम इकाई दूरियाँ)          (अधिक इकाई दूरियाँ)

3. 80 वर्षों का गणितीय सहमति

निचली सीमा: Erdős का ग्रिड निर्माण (1946)

Erdős ने स्वयं एक सुंदर सरल निर्माण का उपयोग करके मूलभूत निचली सीमा प्रदान की: एक पुनः-पैमाना वर्गाकार ग्रिड।

    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•
    │  │  │  │  │  │
    •──•──•──•──•──•

ग्रिड को सावधानीपूर्वक इस प्रकार स्केल करके कि कई दूरियाँ ठीक 1 हों, Erdős ने सिद्ध किया:

$u(n) \geq n^{1 + \frac{c}{\log\log n}} \quad \text{किसी स्थिरांक } c > 0 \text{ के लिए}$

चूँकि $n \to \infty$ पर $\frac{c}{\log\log n} \to 0$, यह “लगभग रैखिक” है—घातांक 1 के निकट पहुँचता है लेकिन 1 से बड़े किसी निश्चित मान तक कभी नहीं पहुँचता।

ऊपरी सीमा: स्पेंसर–सेमेरेडी–ट्रॉटर (1984)

1984 में, Joel Spencer, Endre Szemerédi और William T. Trotter ने तत्कालीन क्रांतिकारी क्रॉसिंग नंबर असमानता का उपयोग करके सबसे अच्छी ज्ञात ऊपरी सीमा स्थापित की:

$u(n) = O(n^{4/3})$

यह सीमा 40 वर्षों तक अटल रही।

केंद्रीय परिकल्पना

गणितज्ञों के बीच भारी सहमति थी कि Erdős की निचली सीमा मूल रूप से इष्टतम थी:

परिकल्पना (Erdős, 1946): इकाई दूरियों की अधिकतम संख्या $n^{1+o(1)}$ के रूप में बढ़ती है। दूसरे शब्दों में: $u(n) = n^{1 + o(1)}$ वर्गाकार ग्रिड निर्माण मूल रूप से इष्टतम है।

अंतर का सारांश

4. AI की सफलता: परिकल्पना को पलटना

परिणाम

OpenAI का सामान्य तर्क मॉडल—सुदृढीकरण सीखने (reinforcement learning) से प्रशिक्षित और विस्तारित विचार श्रृंखला क्षमताओं से सुसज्जित—ने एक ही निर्माण सत्र में पूर्ण प्रमाण पूरा किया।

प्रमेय (AI-निर्मित, 2026): समतल में बिंदु समुच्चय निर्माणों का एक अनंत परिवार मौजूद है जैसे कि अनंत $n$ के लिए, इकाई दूरी जोड़ों की संख्या कम से कम हो: $u(n) \geq n^{1 + \delta}$ जहाँ $\delta > 0$ एक निश्चित धनात्मक स्थिरांक है।

यह Erdős की $n^{1+o(1)}$ परिकल्पना को मौलिक रूप से खंडित करता है—इकाई दूरियों की संख्या केवल “लगभग रैखिक” ही नहीं, बल्कि रैखिक से बहुपदीय रूप से अधिक बढ़ सकती है।

प्रमुख आंकड़े

5. प्रमाण: अंतर-क्षेत्रीय सरलता

गणितज्ञों को चौंकाने वाला केवल परिणाम ही नहीं था, बल्कि विधि भी थी। मॉडल ने एक प्रारंभिक ज्यामिति समस्या में बीजगणितीय संख्या सिद्धांत के उपकरण पेश किए—एक ऐसा संबंध जिसे पहले किसी मानव गणितज्ञ ने खोजा नहीं था।

दो दृष्टिकोण परिवर्तन

संख्या सिद्धांतकार Arul Shankar ने सहयोगी पेपर “इकाई दूरी परिकल्पना के खंडन पर टिप्पणियाँ” (arXiv:2605.20695) में समझाया:

परिवर्तन 1: अभाज्य स्थिर करें, क्षेत्र बदलें

परंपरागत रूप से, संख्या सिद्धांतकार एक संख्या क्षेत्र को स्थिर करते हैं और अभाज्य बदलते हैं। AI प्रमाण ने इस दृष्टिकोण को उलट दिया:

परंपरागत: क्षेत्र $K$ स्थिर करें, अभाज्य $p$ बदलें

AI प्रमाण: अभाज्य समुच्चय $S$ स्थिर करें, क्षेत्र $K$ बदलें—एक स्थिर अभाज्य समुच्चय पर संख्या क्षेत्र बदलें

यह तकनीक अंकगणितीय सांख्यिकी में सामान्य है, लेकिन निश्चित आयाम की संयोजिक ज्यामिति में लगभग अभूतपूर्व है।

परिवर्तन 2: वर्ग क्षेत्र टॉवर

प्रमाण ने परिबद्ध घात के संख्या क्षेत्रों का उपयोग करने के बजाय, वर्ग क्षेत्र टॉवर—वर्ग क्षेत्र सिद्धांत से क्षेत्र विस्तार के अनंत टॉवर—नियोजित किए:

$K = K_0 \subset K_1 \subset K_2 \subset \cdots \subset K_n \subset \cdots$

जहाँ प्रत्येक $K_{i+1}$, $K_i$ का Hilbert वर्ग क्षेत्र है।

वर्ग क्षेत्र टॉवर निर्माण

graph TD
    subgraph "वर्ग क्षेत्र टॉवर निर्माण"
        K0["$K_0 = K$<br/>आधार क्षेत्र"] --> K1["$K_1 = H(K_0)$<br/>Hilbert वर्ग क्षेत्र"]
        K1 --> K2["$K_2 = H(K_1)$<br/>Hilbert वर्ग क्षेत्र"]
        K2 --> K3["$K_3 = H(K_2)$<br/>Hilbert वर्ग क्षेत्र"]
        K3 --> K4["$\cdots$"]
        K4 --> Ki["$K_i$"]
        Ki --> Kinf["$K_\infty$<br/>अनंत टॉवर"]
    end

    subgraph "ज्यामिति से जुड़ाव"
        K0 -.->|"पूर्णांक वलय"| O0["$\mathcal{O}_K$"]
        O0 -->|"एम्बेडिंग"| C["$\mathbb{C}^r$"]
        C -->|"बिंदु समुच्चय उत्पन्न करता है"| U["समतल में<br/>इकाई दूरियाँ"]
    end

    style K0 fill:#e1f5fe
    style K1 fill:#b3e5fc
    style K2 fill:#81d4fa
    style K3 fill:#4fc3f7
    style Ki fill:#29b6f6
    style Kinf fill:#0288d1,color:#fff

गोलोड–शफ़ारेविच संबंध

प्रमाण गोलोड–शफ़ारेविच सिद्धांत का लाभ उठाता है, जो वर्ग क्षेत्र टॉवर के अनंत होने की शर्तें प्रदान करता है:

गोलोड–शफ़ारेविच प्रमेय: यदि किसी संख्या क्षेत्र $K$ में अपनी घात के सापेक्ष पर्याप्त रूप से कई विभाजित अभाज्य हैं, तो इसका वर्ग क्षेत्र टॉवर अनंत है।

यह अनंत विस्तार वांछित $n^{1+\delta}$ इकाई दूरियों वाले बिंदु समुच्चय उत्पन्न करने के लिए पर्याप्त बीजगणितीय संरचना बनाता है।

6. स्वतंत्र सत्यापन और शैक्षणिक स्वीकृति

अक्टूबर 2025 के विवाद (जब GPT-5 ने Erdős समस्याओं को हल करने का दावा किया, जिसे गणितज्ञ Thomas Bloom ने साहित्य पुनर्प्राप्ति के रूप में उजागर कर दिया) से सीखते हुए, OpenAI ने कठोर स्वतंत्र सत्यापन किया:

सत्यापन करने वाले गणितज्ञ

सहयोगी पेपर

सहयोगी पेपर “इकाई दूरी परिकल्पना के खंडन पर टिप्पणियाँ” एक ऑल-स्टार टीम द्वारा लिखा गया था:

• Noga Alon (प्रिंसटन)
• Thomas Bloom (ऑक्सफ़ोर्ड)
• Tim Gowers (कैम्ब्रिज)
• Daniel Litt (टोरंटो)
• Will Sawin (प्रिंसटन)
• Arul Shankar (टोरंटो)
• Jacob Tsimerman (टोरंटो)
• Melanie Matchett Wood (हार्वर्ड)

📄 arXiv: 2605.20695

7. समयरेखा: परिकल्पना से पलटने तक

timeline
    title Erdős इकाई दूरी समस्या—80 वर्षों की यात्रा

    1946 : Paul Erdős समस्या प्रस्तुत करते हैं
         : $n^{1+o(1)}$ परिकल्पना प्रस्तावित करते हैं
         : वर्गाकार ग्रिड निचली सीमा प्रस्तुत करते हैं

    1952 : Moser ऊपरी सीमा में सुधार करते हैं
         : $u(n) \leq O(n^{3/2})$

    1984 : स्पेंसर–सेमेरेडी–ट्रॉटर
         : क्रॉसिंग संख्या विधि
         : $u(n) = O(n^{4/3})$ (अभी भी सर्वश्रेष्ठ ऊपरी सीमा)

    1990s : Elekes बहुपद विधि प्रस्तुत करते हैं
           : Székely क्रॉसिंग संख्या प्रमाण

    2010 : गूथ–कैट्ज़ विभिन्न दूरियाँ
          : बहुपद विभाजन क्रांति

    2015 : गूथ–कैट्ज़ विभिन्न दूरी सीमा सिद्ध करते हैं
          : नई तकनीकें क्षेत्र को ऊर्जा प्रदान करती हैं

    Oct 2025 : GPT-5 विवाद
              : 10 Erdős समस्याओं को हल करने का दावा
              : Thomas Bloom द्वारा उजागर
              : (OpenAI का सीखने का क्षण)

    May 2026 : 🤖 AI सफलता
              : OpenAI तर्क मॉडल परिकल्पना को पलटता है
              : वर्ग क्षेत्र टॉवर संयोजिक ज्यामिति से मिलता है
              : $\delta = 0.014$ (Sawin सुधार)
              : Erdős समस्या वेबसाइट पर स्थिति खंडित में अद्यतन

8. प्रमुख कोड उदाहरण

इकाई दूरियाँ गिनने के लिए संदर्भ कार्यान्वयन

import numpy as np
from itertools import combinations
from typing import List, Tuple

def count_unit_distances(points: List[Tuple[float, float]],
                         eps: float = 1e-9) -> int:
    """
    बिंदुओं के समुच्चय में इकाई दूरी जोड़ों की संख्या गिनता है।

    यह Erdős द्वारा प्रस्तुत मूलभूत संगणनात्मक समस्या है।

    Args:
        points: (x, y) निर्देशांकों की सूची
        eps: फ्लोटिंग पॉइंट तुलना के लिए सहनशीलता

    Returns:
        ठीक 1 दूरी वाले जोड़ों की संख्या (सहनशीलता के भीतर)

    समय जटिलता: O(n²)—सभी जोड़ों की जाँच करता है
    स्थान जटिलता: O(1) अतिरिक्त
    """
    count = 0
    n = len(points)

    for i, j in combinations(range(n), 2):
        x1, y1 = points[i]
        x2, y2 = points[j]

        dist_sq = (x2 - x1)**2 + (y2 - y1)**2

        if abs(dist_sq - 1.0) < eps:
            count += 1

    return count


def erdos_grid_construction(n: int) -> List[Tuple[float, float]]:
    """
    Erdős का मूल पुनः-पैमाना वर्गाकार ग्रिड निर्माण।

    यह निर्माण लगभग n^(1 + c/log(log(n))) इकाई दूरियाँ प्राप्त करता है।
    """
    m = int(np.sqrt(n))
    scale = 1.0

    points = []
    for i in range(m):
        for j in range(m):
            points.append((i * scale, j * scale))

    return points[:n]


# उदाहरण: निर्माणों की तुलना
if __name__ == "__main__":
    n = 100

    random_points = [(np.random.random(), np.random.random())
                     for _ in range(n)]
    random_count = count_unit_distances(random_points)

    grid_points = erdos_grid_construction(n)
    grid_count = count_unit_distances(grid_points)

    print(f"n = {n} बिंदु")
    print(f"यादृच्छिक स्थापना: {random_count} इकाई दूरियाँ")
    print(f"ग्रिड निर्माण: {grid_count} इकाई दूरियाँ")
    print(f"सैद्धांतिक अधिकतम (परिकल्पित): ~{n:.0f}")
    print(f"AI निचली सीमा (n^1.014): {n**1.014:.1f}")

9. इस बार अलग क्यों है

पिछली AI गणितीय उपलब्धियाँ विभिन्न श्रेणियों की थीं। यह सफलता एक प्रतिमान बदलाव का प्रतिनिधित्व करती है:

गणित में AI की भूमिका
├── प्रतियोगिता गणित (IMO स्वर्ण स्तर की समस्याएँ—संरचित, सीमित नवाचार)
├── औपचारिक सत्यापन (Lean/Coq—मौजूदा प्रमेयों को सत्यापित करता है, कोई मौलिक खोज नहीं)
├── साहित्य संश्लेषण (GPT-5 अक्टूबर 2025—ज्ञात परिणाम पुनर्प्राप्त करता है, उजागर)
└── 🏆 यह सफलता
    ├── मौलिक प्रमाण निर्माण
    ├── अंतर-क्षेत्रीय संबंध
    ├── मानव चरण-दर-चरण मार्गदर्शन की आवश्यकता नहीं
    ├── विशेषज्ञ सहकर्मी समीक्षा
    └── केंद्रीय खुली समस्या हल करता है

10. गहरे निहितार्थ

गणित से परे

यह सफलता ज्यामिति से कहीं आगे की क्षमताओं का संकेत देती है:

• 🧬 जीवविज्ञान—नई दवाओं और प्रोटीन संरचनाओं की खोज
• ⚛️ भौतिकी—नए सिद्धांतों और मॉडलों का प्रस्ताव
• 🧪 पदार्थ विज्ञान—नई सामग्रियों का डिज़ाइन
• 🔬 चिकित्सा—नए उपचारों की खोज
• 🏗️ इंजीनियरिंग—जटिल डिज़ाइन समस्याओं का समाधान

OpenAI का मूल्यांकन

“जटिल तर्क श्रृंखलाओं में सुसंगति बनाए रखना, क्षेत्रों में विचारों को जोड़ना, और शोधकर्ताओं द्वारा संभवतः खोजे न गए रास्ते खोजना—ये क्षमताएँ जीवविज्ञान, भौतिकी, पदार्थ विज्ञान, इंजीनियरिंग और चिकित्सा पर समान रूप से लागू होती हैं। यह अधिक स्वचालित अनुसंधान की ओर एक कदम है।“

मानव भूमिका अपरिहार्य बनी हुई है

जैसा कि Thomas Bloom—उसी गणितज्ञ ने जिसने OpenAI के अक्टूबर 2025 के दावों को उजागर किया—ने कहा:

“और कौन से अदृश्य चमत्कार खोजे जाने की प्रतीक्षा कर रहे हैं?”

संदर्भ

1. 📝 OpenAI आधिकारिक ब्लॉग (20 मई 2026): An OpenAI model has disproved a central conjecture in discrete geometry
2. 📄 सहयोगी पेपर: Noga Alon, Thomas Bloom, Tim Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Melanie Matchett Wood, “Remarks on the disproof of the unit distance conjecture”, arXiv:2605.20695. लिंक
3. 🌐 Erdős समस्या वेबसाइट: erdosproblems.com—स्थिति खंडित में अद्यतन
4. Interesting Engineering: “80-year-old geometry mystery cracked by OpenAI using deep number theory”
5. Yahoo Tech: “OpenAI claims it solved an 80-year-old math problem”
6. AI Wins News: “OpenAI Model Disproves 80-Year-Old Unit Distance Conjecture”