১. গণিত জগতে চমকপ্রদ ঘোষণা

২০ মে ২০২৬, OpenAI ঘোষণা করল যে তাদের অভ্যন্তরীণ সাধারণ যুক্তি মডেল স্বায়ত্তশাসিতভাবে বিচ্ছিন্ন জ্যামিতির একটি কেন্দ্রীয় উন্মুক্ত সমস্যা—Erdős একক দূরত্ব সমস্যা—সমাধান করেছে, যা প্রায় ৮০ বছর ধরে এই ক্ষেত্রটিতে আধিপত্য বিস্তারকারী একটি অনুমানকে ভেঙে দিয়েছে।

এটি প্রথমবার চিহ্নিত করে যে একটি AI সিস্টেম নিম্নলিখিত সবকিছু করেছে:

• 🤖 স্বায়ত্তশাসিতভাবে মৌলিক প্রমাণ প্রস্তাব করেছে
• 🔗 বিভিন্ন ক্ষেত্র সংযুক্ত করেছে (বীজগণিতীয় সংখ্যা তত্ত্ব ↔ সংযুক্তিমূলক জ্যামিতি)
• ✅ বিশ্বমানের গণিতবিদদের কঠোর পিয়ার রিভিউ পাস করেছে
• 🏆 একটি পরিণত গাণিতিক উপক্ষেত্রের কেন্দ্রীয় উন্মুক্ত সমস্যা সমাধান করেছে

“প্রায় ৮০ বছর ধরে, গণিতবিদরা বিশ্বাস করতেন যে সর্বোত্তম বিন্যাস মোটামুটিভাবে একটি বর্গাকার গ্রিডের মতো। OpenAI-এর একটি মডেল এখন সেই বিশ্বাসকে ভেঙে দিয়েছে, আরও ভালো পারফরম্যান্স সহ একটি সম্পূর্ণ নতুন নির্মাণ পরিবার আবিষ্কার করেছে।” — OpenAI, ২০ মে ২০২৬

২. সমস্যা: Erdős-এর প্রতারণামূলকভাবে সহজ প্রশ্ন

১৯৪৬ সালে, হাঙ্গেরীয় গণিতবিদ Paul Erdős (১৯১৩–১৯৯৬) একটি সমস্যা উপস্থাপন করেছিলেন যা একটি শিশুকেও বোঝানোর মতো যথেষ্ট সহজ, অথচ প্রায় এক শতাব্দী ধরে সবচেয়ে উজ্জ্বল মস্তিষ্ককে বিভ্রান্ত করার মতো যথেষ্ট গভীর:

প্রশ্ন

সমতলে $n$টি বিন্দু দেওয়া হলে, সর্বাধিক কতগুলি জোড়া ঠিক ১ একক দূরে হতে পারে?

আনুষ্ঠানিকভাবে, যদি $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 নির্মাণ)
  (কম একক দূরত্ব)            (অনেক একক দূরত্ব)

৩. ৮০ বছরের গাণিতিক ঐক্যমত্য

নিম্ন সীমা: Erdős-এর গ্রিড নির্মাণ (১৯৪৬)

Erdős নিজেই একটি মার্জিত সরল নির্মাণ ব্যবহার করে মৌলিক নিম্ন সীমা প্রদান করেছিলেন: একটি পুনঃস্কেলকৃত বর্গাকার গ্রিড।

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

গ্রিডটি সাবধানে স্কেল করে যাতে অনেক দূরত্ব ঠিক ১ হয়, 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$, এটি “প্রায় রৈখিক” —সূচক ১-এর কাছে পৌঁছায় কিন্তু ১-এর বড় কোনো নির্দিষ্ট মানে কখনও পৌঁছায় না।

ঊর্ধ্ব সীমা: স্পেন্সার–সেমেরেডি–ট্রটার (১৯৮৪)

১৯৮৪ সালে, Joel Spencer, Endre Szemerédi এবং William T. Trotter তৎকালীন বৈপ্লবিক ক্রসিং নম্বর অসমতা ব্যবহার করে সর্বাধিক পরিচিত ঊর্ধ্ব সীমা স্থাপন করেন:

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

এই সীমা ৪০ বছর ধরে অটল ছিল।

কেন্দ্রীয় অনুমান

গণিতবিদদের মধ্যে প্রচণ্ড ঐক্যমত্য ছিল যে Erdős-এর নিম্ন সীমা মূলত সর্বোত্তম ছিল:

অনুমান (Erdős, ১৯৪৬): একক দূরত্বের সর্বাধিক সংখ্যা $n^{1+o(1)}$ হিসেবে বৃদ্ধি পায়। অন্য কথায়: $u(n) = n^{1 + o(1)}$ বর্গাকার গ্রিড নির্মাণ মূলত সর্বোত্তম।

ব্যবধানের সারাংশ

৪. AI-এর সাফল্য: অনুমান ভেঙে দেওয়া

ফলাফল

OpenAI-এর সাধারণ যুক্তি মডেল—শক্তিবর্ধন শিক্ষায় প্রশিক্ষিত এবং সম্প্রসারিত চিন্তা শৃঙ্খল ক্ষমতায় সজ্জিত—একক প্রজন্ম সেশনে সম্পূর্ণ প্রমাণ সম্পূর্ণ করেছে।

উপপাদ্য (AI-নির্মিত, ২০২৬): সমতলে বিন্দু সেট নির্মাণের একটি অসীম পরিবার বিদ্যমান যাতে অসীম অনেক $n$-এর জন্য, একক দূরত্ব জোড়ার সংখ্যা কমপক্ষে: $u(n) \geq n^{1 + \delta}$ যেখানে $\delta > 0$ একটি নির্দিষ্ট ধনাত্মক ধ্রুবক।

এটি Erdős-এর $n^{1+o(1)}$ অনুমানকে মৌলিকভাবে খণ্ডন করে—একক দূরত্বের সংখ্যা কেবল “প্রায় রৈখিক” নয়, বরং রৈখিকের বহুপদীভাবে বেশি বাড়তে পারে।

মূল পরিসংখ্যান

৫. প্রমাণ: আন্তঃক্ষেত্রীয় মৌলিকত্ব

গণিতবিদদের চমকে দেওয়া শুধু ফলাফলই ছিল না, বরং পদ্ধতি-ও ছিল। মডেলটি একটি প্রাথমিক জ্যামিতি সমস্যায় বীজগণিতীয় সংখ্যা তত্ত্ব-এর হাতিয়ার প্রবর্তন করেছিল—এমন একটি সংযোগ যা আগে কোনো মানব গণিতবিদ অন্বেষণ করেননি।

দুটি দৃষ্টিভঙ্গি পরিবর্তন

সংখ্যা তত্ত্ববিদ Arul Shankar সহযোগী গবেষণাপত্রে “একক দূরত্ব অনুমানের খণ্ডনের উপর মন্তব্য” (arXiv:2605.20695) এ ব্যাখ্যা করেছেন:

পরিবর্তন ১: মৌলিক সংখ্যা স্থির করুন, ক্ষেত্র পরিবর্তন করুন

ঐতিহ্যগতভাবে, সংখ্যা তত্ত্ববিদরা একটি সংখ্যা ক্ষেত্র স্থির করেন এবং মৌলিক সংখ্যা পরিবর্তন করেন। AI প্রমাণ এই দৃষ্টিভঙ্গি উল্টে দিয়েছে:

ঐতিহ্যগত: ক্ষেত্র $K$ স্থির করুন, মৌলিক সংখ্যা $p$ পরিবর্তন করুন

AI প্রমাণ: মৌলিক সেট $S$ স্থির করুন, ক্ষেত্র $K$ পরিবর্তন করুন—একটি স্থির মৌলিক সেটের উপর সংখ্যা ক্ষেত্র পরিবর্তন করুন

এই কৌশল পাটিগণিতিক পরিসংখ্যানে সাধারণ, কিন্তু নির্দিষ্ট মাত্রার সংযুক্তিমূলক জ্যামিতিতে প্রায় নজিরবিহীন।

পরিবর্তন ২: শ্রেণী ক্ষেত্র টাওয়ার

প্রমাণটি সীমিত ঘাতের সংখ্যা ক্ষেত্র ব্যবহার করার পরিবর্তে, শ্রেণী ক্ষেত্র টাওয়ার—শ্রেণী ক্ষেত্র তত্ত্ব থেকে ক্ষেত্র সম্প্রসারণের অসীম টাওয়ার—নিয়োগ করেছে:

$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}$ একক দূরত্ব সহ বিন্দু সেট উৎপন্ন করার জন্য যথেষ্ট বীজগণিতীয় কাঠামো তৈরি করে।

৬. স্বাধীন যাচাইকরণ এবং একাডেমিক স্বীকৃতি

অক্টোবর ২০২৫-এর বিতর্ক (যখন 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

৭. সময়রেখা: অনুমান থেকে ভেঙে দেওয়া পর্যন্ত

timeline
    title Erdős একক দূরত্ব সমস্যা—৮০ বছরের যাত্রা

    ১৯৪৬ : Paul Erdős সমস্যা উপস্থাপন করেন
         : $n^{1+o(1)}$ অনুমান প্রস্তাব করেন
         : বর্গাকার গ্রিড নিম্ন সীমা প্রবর্তন করেন

    ১৯৫২ : Moser ঊর্ধ্ব সীমা উন্নত করেন
         : $u(n) \leq O(n^{3/2})$

    ১৯৮৪ : স্পেন্সার–সেমেরেডি–ট্রটার
         : ক্রসিং সংখ্যা পদ্ধতি
         : $u(n) = O(n^{4/3})$ (এখনও সর্বোত্তম ঊর্ধ্ব সীমা)

    ১৯৯০s : Elekes বহুপদী পদ্ধতি প্রবর্তন করেন
           : Székely ক্রসিং সংখ্যা প্রমাণ

    ২০১০ : গুথ–কাটজ ভিন্ন দূরত্ব
          : বহুপদী বিভাজন বিপ্লব

    ২০১৫ : গুথ–কাটজ ভিন্ন দূরত্ব সীমা প্রমাণ করেন
          : নতুন কৌশল ক্ষেত্রটিকে শক্তি যোগায়

    Oct ২০২৫ : GPT-৫ বিতর্ক
              : ১০টি Erdős সমস্যা সমাধানের দাবি
              : Thomas Bloom দ্বারা উন্মোচিত
              : (OpenAI-এর শেখার মুহূর্ত)

    May ২০২৬ : 🤖 AI সাফল্য
              : OpenAI যুক্তি মডেল অনুমান ভেঙে দেয়
              : শ্রেণী ক্ষেত্র টাওয়ার সংযুক্তিমূলক জ্যামিতির সাথে মিলিত হয়
              : $\delta = 0.014$ (Sawin উন্নতি)
              : Erdős সমস্যা ওয়েবসাইট খণ্ডিত হিসেবে আপডেট

৮. মূল কোড উদাহরণ

একক দূরত্ব গণনার রেফারেন্স বাস্তবায়ন

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:
        ঠিক ১ দূরত্বে থাকা জোড়ার সংখ্যা (সহনশীলতার মধ্যে)

    সময় জটিলতা: 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}")

৯. কেন এবার ভিন্ন

পূর্ববর্তী AI গাণিতিক অর্জনগুলি ভিন্ন শ্রেণীর ছিল। এই সাফল্য একটি দৃষ্টান্ত পরিবর্তনের প্রতিনিধিত্ব করে:

গণিতে AI-এর ভূমিকা
├── প্রতিযোগিতা গণিত (IMO স্বর্ণ স্তরের সমস্যা—কাঠামোবদ্ধ, সীমিত উদ্ভাবন)
├── আনুষ্ঠানিক যাচাইকরণ (Lean/Coq—বিদ্যমান উপপাদ্য যাচাই করে, কোনও মৌলিক আবিষ্কার নয়)
├── সাহিত্য সংশ্লেষণ (GPT-5 অক্টোবর ২০২৫—জ্ঞাত ফলাফল পুনরুদ্ধার করে, উন্মোচিত)
└── 🏆 এই সাফল্য
    ├── মৌলিক প্রমাণ উৎপাদন
    ├── আন্তঃক্ষেত্রীয় সংযোগ
    ├── মানব ধাপে ধাপে নির্দেশনার প্রয়োজন নেই
    ├── বিশেষজ্ঞ পিয়ার রিভিউ
    └── কেন্দ্রীয় উন্মুক্ত সমস্যা সমাধান করে

১০. গভীরতর তাৎপর্য

গণিতের বাইরে

এই সাফল্য জ্যামিতির বাইরেও অনেক দূর পর্যন্ত ক্ষমতার ইঙ্গিত দেয়:

• 🧬 জীববিজ্ঞান—নতুন ওষুধ এবং প্রোটিন কাঠামো আবিষ্কার
• ⚛️ পদার্থবিজ্ঞান—নতুন তত্ত্ব এবং মডেল প্রস্তাব
• 🧪 পদার্থ বিজ্ঞান—নতুন উপকরণ ডিজাইন
• 🔬 চিকিৎসা—নতুন চিকিৎসা আবিষ্কার
• 🏗️ প্রকৌশল—জটিল ডিজাইন সমস্যা সমাধান

OpenAI-এর মূল্যায়ন

“জটিল যুক্তি শৃঙ্খল জুড়ে সুসংগততা বজায় রাখা, ক্ষেত্রগুলির মধ্যে ধারণা সংযুক্ত করা, এবং গবেষকরা হয়তো অন্বেষণ করেননি এমন পথ খুঁজে বের করা—এই ক্ষমতাগুলি জীববিজ্ঞান, পদার্থবিজ্ঞান, পদার্থ বিজ্ঞান, প্রকৌশল এবং চিকিৎসায় সমানভাবে প্রযোজ্য। এটি আরও স্বয়ংক্রিয় গবেষণার দিকে একটি পদক্ষেপ।“

মানব ভূমিকা অপরিহার্য রয়ে গেছে

Thomas Bloom—একই গণিতবিদ যিনি OpenAI-এর অক্টোবর ২০২৫-এর দাবি উন্মোচিত করেছিলেন—বলেছেন:

“আর কোন অদৃশ্য বিস্ময় আবিষ্কারের অপেক্ষায় রয়েছে?”

তথ্যসূত্র

1. 📝 OpenAI অফিসিয়াল ব্লগ (২০ মে ২০২৬): 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”