AI Runtuhkan Teori 80 Tahun: Jawaban Tak Terduga Atas Masalah Jarak Satuan Erdős

Paul Erdős tidak pernah menduga bahwa pertanyaan sederhana yang ia ajukan pada tahun 1946 akan menjadi teka-teki yang menghantui dunia matematika selama delapan dekade. Pertanyaannya terdengar sangat elementer: Jika Anda menempatkan n titik pada sebuah bidang datar, berapa banyak pasangan titik yang dapat memiliki jarak tepat 1 unit?

Masalah jarak satuan planar ini (planar unit distance problem) telah menjadi salah satu pertanyaan paling ikonik dalam geometri kombinatorial. Begitu terkenalnya masalah ini hingga Erdős sendiri menawarkan hadiah uang bagi siapa saja yang bisa menyelesaikannya. Selama puluhan tahun, konsensus para ahli meyakini bahwa konstruksi "kisi persegi" (square grid) adalah metode yang paling optimal. Namun, sejarah baru saja ditulis ulang—bukan oleh pena seorang profesor, melainkan oleh logika mendalam sebuah kecerdasan buatan.

Runtuhnya Dugaan Lama Melalui Penalaran Mandiri

Sebuah model internal OpenAI baru saja mematahkan keyakinan lama tersebut. Sejak masa Erdős, para matematikawan percaya bahwa jumlah maksimum pasangan jarak satuan mengikuti pola n^1+o(1). Namun, model AI ini berhasil membuktikan bahwa dugaan tersebut salah besar. Melalui keluarga contoh yang tak terhingga, AI ini menunjukkan adanya peningkatan polinomial yang melampaui batas yang diperkirakan sebelumnya.

Keberhasilan ini sangat signifikan karena metode yang digunakan. Model ini tidak dilatih secara khusus untuk matematika, melainkan sebuah model penalaran umum. Dalam upaya menguji apakah model tingkat lanjut dapat berkontribusi pada riset garis depan, OpenAI mengevaluasinya pada koleksi masalah Erdős. Hasilnya mengejutkan: AI menghasilkan bukti yang menyelesaikan masalah terbuka ini secara otonom.

Jembatan Logika: Dari Geometri ke Teori Bilangan

Kejutan terbesar dari temuan ini terletak pada instrumen yang digunakan AI untuk membedah masalah. Alih-alih menggunakan alat geometri tradisional, AI ini menarik ide-ide canggih dari teori bilangan aljabar. Ia menggunakan konsep-konsep seperti class field towers dan teori Golod–Shafarevich untuk membuktikan keberadaan medan bilangan yang diperlukan untuk konstruksinya.

Pakar teori bilangan terkemuka, Arul Shankar, memberikan pandangannya: "Menurut pendapat saya, makalah ini menunjukkan bahwa model AI saat ini melampaui sekadar pembantu bagi matematikawan manusia—mereka mampu memiliki ide-ide jenius yang orisinal, dan kemudian mewujudkannya hingga tuntas."

Tim Gowers, peraih Fields Medal, bahkan menyebut hasil ini sebagai "tonggak sejarah dalam matematika AI." Bukti orisinal AI tersebut memang tidak memberikan nilai eksplisit untuk eksponen tambahan (δ), namun penyempurnaan selanjutnya oleh Profesor matematika Princeton, Will Sawin, menunjukkan bahwa nilai δ bisa diambil sebesar 0,014.

"Ini menunjukkan bahwa ada jauh lebih banyak hal yang bisa dikatakan oleh konstruksi teori bilangan tentang pertanyaan semacam ini daripada yang kita duga; terlebih lagi, teori bilangan yang dibutuhkan bisa sangat mendalam."
— Thomas Bloom, Matematikawan Oxford.

Masa Depan Kolaborasi Manusia dan Mesin

Keberhasilan ini bukan sekadar tentang angka dan titik di atas kertas. Ini adalah bukti bahwa sistem kecerdasan buatan kini mampu mempertahankan alur pemikiran yang sangat kompleks dan konsisten dari awal hingga akhir—sebuah syarat mutlak dalam pembuktian matematika. Kemampuan untuk menghubungkan ide dari bidang pengetahuan yang jauh (seperti geometri dan teori bilangan aljabar) adalah tanda kematangan penalaran yang selama ini dianggap hanya milik manusia.

Dampaknya akan meluas melampaui matematika murni. Jika sebuah model bisa menjaga koherensi argumen yang rumit dalam matematika, kemampuan yang sama dapat diterapkan untuk memecahkan kebuntuan dalam biologi molekuler, fisika material, hingga pengembangan obat-obatan baru. Peran manusia kini bergeser menjadi kurator masalah yang bermakna, sementara AI menjadi mitra riset yang mampu menjelajahi lorong-lorong gelap dalam "katedral matematika" yang belum pernah terjamah sebelumnya.