Bagaimana Model AI Menemukan Kontra‑Contoh untuk Dugaan Unit Distance Erdős

Masalah ini menjadi salah satu teka‑teki klasik dalam geometri diskret, cabang matematika yang mempelajari konfigurasi titik, garis, dan bentuk dalam ruang diskret.

Dugaan asli Erdős

Erdős menunjukkan sebuah konstruksi sederhana: menempatkan titik dalam pola grid kira‑kira √n × √n. Konfigurasi ini menghasilkan sekitar

n^(1 + Ω(1 / log log n))

pasangan titik yang berjarak satu.

Ia menduga bahwa konstruksi ini pada dasarnya sudah mendekati optimal—artinya jumlah pasangan jarak‑satu tidak bisa meningkat menjadi bentuk n^(1+δ) dengan δ tetap positif. Dengan kata lain, pertumbuhan seharusnya hampir linear.

Di sisi lain, hasil penting dari Spencer, Szemerédi, dan Trotter (1984) menunjukkan batas atas

ν(n) = O(n^(4/3)).

Perbedaan besar antara batas bawah dan batas atas ini menjadikan masalah unit distance salah satu masalah terbuka paling terkenal di bidang tersebut.

Kontra‑contoh yang dihasilkan AI

Konstruksi baru yang dilaporkan dalam makalah OpenAI menunjukkan bahwa

ν(n) ≥ n^(1+δ)

untuk suatu δ > 0 dan tak hingga banyak nilai n.

Karena dugaan Erdős menyatakan bahwa ν(n) seharusnya hanya sekitar n^(1+o(1)), hasil ini langsung membantah dugaan tersebut.

Artinya, ada konfigurasi titik tertentu di bidang yang menghasilkan jumlah pasangan berjarak satu secara polinomial lebih besar daripada yang sebelumnya dianggap mungkin.

Ide matematis utama: teori bilangan alih‑alih grid

Konstruksi sebelumnya biasanya bergantung pada pola geometris sederhana seperti grid atau lattice. Pendekatan baru mengambil arah yang sangat berbeda dengan memanfaatkan teori bilangan aljabar.

Secara garis besar, metode ini menggunakan beberapa struktur matematika tingkat lanjut:

• Totally real number fields yang disusun dalam menara class field tak hingga dengan sifat pemisahan prima tertentu
• Konstruksi tipe Golod–Shafarevich, yang menjamin keberadaan menara tak hingga dari field bilangan dengan struktur aritmetika terkontrol
• CM fields, yang diperoleh dengan menambahkan unit imajiner i

Struktur ini menghasilkan lattice berdimensi tinggi dengan banyak elemen bernorma 1. Ketika konstruksi tersebut dipetakan kembali ke bidang Euclidean, hubungan norma‑1 ini menjadi banyak pasangan titik berjarak satu dalam konfigurasi geometri.

Keuntungan pendekatan ini adalah ia menyediakan jauh lebih banyak hubungan jarak daripada yang dapat dihasilkan oleh pola grid klasik.

Mengapa ini membantah dugaan lama

Perbedaannya tampak kecil tetapi sangat penting.

Dugaan Erdős mengizinkan pertumbuhan:

n^(1 + o(1))

Sementara konstruksi baru memberikan:

n^(1 + δ)

untuk δ yang tetap positif.

Karena peningkatan eksponen ini tidak mengecil ketika n bertambah, selisihnya akhirnya menjadi sangat besar secara asimtotik. Inilah yang membuat dugaan tersebut tidak dapat dipertahankan.

Verifikasi oleh matematikawan

Setelah hasil ini diumumkan, sejumlah matematikawan memeriksa argumen yang diajukan dan menerbitkan versi ringkas yang telah diverifikasi manusia dari bukti tersebut beserta komentar analitisnya.

Dokumen ini melibatkan peneliti seperti:

• Noga Alon
• Timothy Gowers
• Thomas Bloom
• Will Sawin
• Melanie Matchett Wood

Mereka menjelaskan bagaimana konstruksi tersebut menggabungkan beberapa ide dari teori bilangan modern—termasuk gagasan terkait menara Golod–Shafarevich dan teknik aljabar lainnya—untuk menghasilkan konfigurasi geometri yang menjadi kontra‑contoh.

Mengapa ini disebut tonggak penting bagi AI

Hasil ini menarik perhatian karena tampaknya merupakan contoh di mana sistem AI menghasilkan bukti baru untuk sebuah dugaan matematika terbuka yang penting, bukan sekadar menemukan kembali hasil yang sudah diketahui.

Percobaan sebelumnya dalam matematika berbasis AI kadang menghasilkan solusi yang ternyata sudah ada dalam literatur. Dalam kasus ini, hasilnya dipresentasikan sebagai kontra‑contoh baru terhadap dugaan yang bertahan sejak 1946.

Jika komunitas matematika akhirnya menerima bukti tersebut sebagai benar dan lengkap, ini akan menjadi momen penting: sebuah sistem AI berkontribusi langsung pada penemuan baru dalam matematika murni.

Apa yang kemungkinan terjadi selanjutnya

Seperti halnya banyak terobosan matematika besar, bukti ini kemungkinan akan melalui pemeriksaan panjang oleh komunitas matematikawan. Para peneliti biasanya akan:

• memverifikasi detail teknis
• menyederhanakan argumen
• mengeksplorasi implikasi terhadap masalah geometri diskret lainnya

Terlepas dari hasil akhirnya, penelitian ini menunjukkan arah baru dalam penemuan ilmiah: kombinasi antara penalaran otomatis oleh AI dan verifikasi manusia untuk menjelajahi ruang ide matematika yang sangat luas.