1. Pengumuman yang Mengguncang Dunia Matematika

Pada 20 Mei 2026, OpenAI mengumumkan bahwa model penalaran umum internalnya telah memecahkan secara otonom sebuah masalah terbuka sentral dalam geometri diskret—masalah jarak satuan Erdős, membantah konjektur yang telah mendominasi bidang tersebut selama hampir 80 tahun.

Ini menandai pertama kalinya sebuah sistem AI melakukan semua hal berikut:

• 🤖 Mengusulkan secara otonom bukti orisinal
• 🔗 Menghubungkan bidang yang berbeda (teori bilangan aljabar ↔ geometri kombinatorial)
• ✅ Melewati tinjauan sejawat yang ketat oleh matematikus kelas dunia
• 🏆 Memecahkan masalah terbuka sentral dalam subbidang matematika yang matang

“Selama hampir 80 tahun, para matematikus percaya bahwa konfigurasi optimal kira-kira menyerupai kisi-kisi persegi. Sebuah model OpenAI kini telah membantah keyakinan itu, menemukan keluarga konstruksi yang sama sekali baru dengan kinerja yang lebih baik.” — OpenAI, 20 Mei 2026

2. Masalahnya: Pertanyaan Erdős yang Sederhana Semu

Pada tahun 1946, matematikus Hungaria Paul Erdős (1913–1996) mengajukan sebuah masalah yang cukup sederhana untuk dijelaskan kepada seorang anak, namun cukup dalam untuk membingungkan pikiran-pikiran tercemerlang selama hampir satu abad:

Pertanyaannya

Diberikan $n$ titik pada bidang, berapa jumlah maksimum pasangan yang berjarak tepat 1 satuan?

Secara formal, jika kita definisikan $u(n)$ sebagai jumlah maksimum pasangan jarak satuan di antara $n$ titik:

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

Intuisi Visual

Bayangkan menempatkan titik-titik di atas kertas. Tantangannya: bagaimana mengaturnya sehingga sebanyak mungkin pasangan berjarak tepat satu satuan?

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

  Penempatan acak            Kisi persegi (konstruksi Erdős)
  (sedikit jarak satuan)     (banyak jarak satuan)

3. 80 Tahun Konsensus Matematika

Batas Bawah: Konstruksi Kisi Erdős (1946)

Erdős sendiri menyediakan batas bawah fundamental menggunakan konstruksi yang elegan dan sederhana: sebuah kisi persegi yang diskalakan ulang.

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

Dengan menskalakan kisi secara hati-hati sehingga banyak jarak tepat sama dengan 1, Erdős membuktikan:

$u(n) \geq n^{1 + \frac{c}{\log\log n}} \quad \text{untuk suatu konstanta } c > 0$

Karena $\frac{c}{\log\log n} \to 0$ ketika $n \to \infty$, ini “hampir linear”—eksponennya mendekati 1 tetapi tidak pernah mencapai nilai tetap yang lebih besar dari 1.

Batas Atas: Spencer–Szemerédi–Trotter (1984)

Pada tahun 1984, Joel Spencer, Endre Szemerédi, dan William T. Trotter menetapkan batas atas terbaik yang diketahui menggunakan pertidaksamaan bilangan crossing yang revolusioner pada masanya:

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

Batas ini bertahan selama 40 tahun.

Konjektur Sentral

Konsensus yang luar biasa di kalangan matematikus adalah bahwa batas bawah Erdős pada dasarnya optimal:

Konjektur (Erdős, 1946): Jumlah maksimum jarak satuan tumbuh sebagai $n^{1+o(1)}$. Dengan kata lain: $u(n) = n^{1 + o(1)}$ Konstruksi kisi persegi pada dasarnya optimal.

Ringkasan Kesenjangan

4. Terobosan AI: Membantah Konjektur

Hasilnya

Model penalaran umum OpenAI—dilatih dengan pembelajaran penguatan dan dilengkapi dengan kemampuan rantai pemikiran yang diperluas—menyelesaikan bukti lengkap dalam satu sesi generasi.

Teorema (dihasilkan AI, 2026): Terdapat sebuah keluarga tak terhingga dari konstruksi himpunan titik pada bidang sehingga untuk tak terhingga banyak $n$, jumlah pasangan jarak satuan setidaknya: $u(n) \geq n^{1 + \delta}$ di mana $\delta > 0$ adalah konstanta positif tetap.

Ini secara fundamental membantah konjektur Erdős $n^{1+o(1)}$—jumlah jarak satuan dapat tumbuh secara polinomial melebihi linear, bukan hanya “hampir linear.”

Angka-angka Kunci

5. Buktinya: Kecerdasan Lintas-Domain

Yang mengejutkan para matematikus bukan hanya hasilnya, tetapi metodenya. Model ini memperkenalkan alat-alat dari teori bilangan aljabar ke dalam masalah geometri elementer—sebuah koneksi yang belum pernah dijelajahi oleh matematikus manusia sebelumnya.

Dua Pergeseran Perspektif

Teoretikus bilangan Arul Shankar menjelaskan dalam makalah pendamping “Catatan tentang pembantahan konjektur jarak satuan” (arXiv:2605.20695):

Pergeseran 1: Tetapkan Bilangan Prima, Variasikan Medan

Secara tradisional, teoretikus bilangan menetapkan medan bilangan dan memvariasikan bilangan prima. Bukti AI membalikkan perspektif ini:

Tradisional: Tetapkan medan $K$, variasikan bilangan prima $p$

Bukti AI: Tetapkan himpunan bilangan prima $S$, variasikan medan $K$—variasikan medan bilangan pada himpunan bilangan prima yang tetap

Teknik ini umum dalam statistika aritmetika, tetapi hampir tanpa preseden dalam geometri kombinatorial berdimensi tetap.

Pergeseran 2: Menara Medan Kelas

Alih-alih menggunakan medan bilangan berderajat terbatas, bukti tersebut menggunakan menara medan kelas—menara tak terhingga dari perluasan medan dari teori medan kelas:

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

di mana setiap $K_{i+1}$ adalah medan kelas Hilbert dari $K_i$.

Konstruksi Menara Medan Kelas

graph TD
    subgraph "Konstruksi Menara Medan Kelas"
        K0["$K_0 = K$<br/>Medan dasar"] --> K1["$K_1 = H(K_0)$<br/>Medan kelas Hilbert"]
        K1 --> K2["$K_2 = H(K_1)$<br/>Medan kelas Hilbert"]
        K2 --> K3["$K_3 = H(K_2)$<br/>Medan kelas Hilbert"]
        K3 --> K4["$\cdots$"]
        K4 --> Ki["$K_i$"]
        Ki --> Kinf["$K_\infty$<br/>Menara tak terhingga"]
    end

    subgraph "Koneksi ke Geometri"
        K0 -.->|"Cincin bilangan bulat"| O0["$\mathcal{O}_K$"]
        O0 -->|"Penanaman"| C["$\mathbb{C}^r$"]
        C -->|"Menghasilkan himpunan titik"| U["Jarak satuan<br/>pada bidang"]
    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

Koneksi Golod-Shafarevich

Bukti ini memanfaatkan teori Golod-Shafarevich, yang menyediakan kondisi agar suatu menara medan kelas menjadi tak terhingga:

Teorema Golod-Shafarevich: Jika suatu medan bilangan $K$ memiliki cukup banyak bilangan prima bercabang relatif terhadap derajatnya, maka menara medan kelasnya tak terhingga.

Perluasan tak terhingga ini menciptakan struktur aljabar yang cukup untuk menghasilkan himpunan titik dengan jumlah jarak satuan $n^{1+\delta}$ yang diinginkan.

6. Verifikasi Independen dan Pengakuan Akademis

Belajar dari kontroversi Oktober 2025 (ketika GPT-5 mengklaim telah memecahkan masalah Erdős, hanya untuk dibongkar oleh matematikus Thomas Bloom sebagai pengambilan literatur sederhana), OpenAI melakukan verifikasi independen yang ketat:

Matematikus yang Memverifikasi

Makalah Pendamping

Makalah pendamping “Catatan tentang pembantahan konjektur jarak satuan” ditulis oleh tim bintang:

• Noga Alon (Princeton)
• Thomas Bloom (Oxford)
• Tim Gowers (Cambridge)
• Daniel Litt (Toronto)
• Will Sawin (Princeton)
• Arul Shankar (Toronto)
• Jacob Tsimerman (Toronto)
• Melanie Matchett Wood (Harvard)

📄 arXiv: 2605.20695

7. Garis Waktu: Dari Konjektur hingga Pembantahan

timeline
    title Masalah Jarak Satuan Erdős—Perjalanan 80 Tahun

    1946 : Paul Erdős mengajukan masalah
         : Mengusulkan konjektur $n^{1+o(1)}$
         : Memperkenalkan batas bawah kisi persegi

    1952 : Moser meningkatkan batas atas
         : $u(n) \leq O(n^{3/2})$

    1984 : Spencer–Szemerédi–Trotter
         : Metode bilangan crossing
         : $u(n) = O(n^{4/3})$ (masih batas atas terbaik)

    1990s : Elekes memperkenalkan metode polinomial
           : Bukti bilangan crossing Székely

    2010 : Guth–Katz jarak berbeda
          : Revolusi partisi polinomial

    2015 : Guth–Katz membuktikan batas jarak berbeda
          : Teknik baru memberi energi pada bidang

    Oct 2025 : Kontroversi GPT-5
              : Mengklaim memecahkan 10 masalah Erdős
              : Dibongkar oleh Thomas Bloom
              : (Momen pembelajaran OpenAI)

    May 2026 : 🤖 Terobosan AI
              : Model penalaran OpenAI membantah konjektur
              : Menara medan kelas bertemu geometri kombinatorial
              : $\delta = 0.014$ (perbaikan Sawin)
              : Situs web masalah Erdős diperbarui menjadi terbantahkan

8. Contoh Kode Utama

Implementasi Referensi untuk Menghitung Jarak Satuan

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:
    """
    Menghitung jumlah pasangan jarak satuan dalam suatu himpunan titik.

    Ini adalah masalah komputasional fundamental yang diajukan oleh Erdős.

    Args:
        points: daftar koordinat (x, y)
        eps: toleransi untuk perbandingan floating point

    Returns:
        jumlah pasangan pada jarak tepat 1 (dalam toleransi)

    Kompleksitas waktu: O(n²)—memeriksa semua pasangan
    Kompleksitas ruang: O(1) tambahan
    """
    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]]:
    """
    Konstruksi kisi persegi diskalakan ulang asli Erdős.

    Konstruksi ini mencapai sekitar n^(1 + c/log(log(n))) jarak satuan.
    """
    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]


# Contoh: membandingkan konstruksi
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} titik")
    print(f"Penempatan acak: {random_count} jarak satuan")
    print(f"Konstruksi kisi: {grid_count} jarak satuan")
    print(f"Maksimum teoretis (dikonjekturkan): ~{n:.0f}")
    print(f"Batas bawah AI (n^1.014): {n**1.014:.1f}")

9. Mengapa Kali Ini Berbeda

Pencapaian matematika AI sebelumnya termasuk dalam kategori yang berbeda. Terobosan ini mewakili pergeseran paradigma:

Peran AI dalam Matematika
├── Matematika kompetisi (masalah level emas IMO—terstruktur, inovasi terbatas)
├── Verifikasi formal (Lean/Coq—memverifikasi teorema yang ada, tanpa penemuan orisinal)
├── Sintesis literatur (GPT-5 Okt 2025—mengambil hasil yang diketahui, dibongkar)
└── 🏆 Terobosan ini
    ├── Generasi bukti orisinal
    ├── Koneksi lintas-domain
    ├── Tanpa bimbingan manusia langkah demi langkah
    ├── Tinjauan sejawat ahli
    └── Memecahkan masalah terbuka sentral

10. Implikasi yang Lebih Dalam

Melampaui Matematika

Terobosan ini menandakan kemampuan yang jauh melampaui geometri:

• 🧬 Biologi—Menemukan obat dan struktur protein baru
• ⚛️ Fisika—Mengusulkan teori dan model baru
• 🧪 Ilmu Material—Merancang material baru
• 🔬 Kedokteran—Menemukan perawatan baru
• 🏗️ Teknik—Memecahkan masalah desain yang kompleks

Penilaian OpenAI

“Mempertahankan koherensi di seluruh rantai penalaran yang kompleks, menghubungkan ide-ide lintas domain, dan menemukan jalur yang mungkin belum dijelajahi oleh peneliti—kemampuan-kemampuan ini berlaku sama untuk biologi, fisika, ilmu material, teknik, dan kedokteran. Ini adalah langkah menuju penelitian yang lebih otomatis.”

Peran Manusia Tetap Tak Tergantikan

Seperti yang dikatakan Thomas Bloom—matematikus yang sama yang membongkar klaim OpenAI Oktober 2025:

“Keajaiban tak terlihat apa lagi yang menunggu untuk ditemukan?”

Referensi

1. 📝 Blog Resmi OpenAI (20 Mei 2026): An OpenAI model has disproved a central conjecture in discrete geometry
2. 📄 Makalah Pendamping: 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. Tautan
3. 🌐 Situs Web Masalah Erdős: erdosproblems.com—status diperbarui menjadi terbantahkan
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”