Selama 80 tahun, salah satu masalah paling sulit dalam geometri kombinatorial tergeletak di rak, sesekali diambil oleh matematikawan ambisius, tetapi tak pernah benar-benar terpecahkan. Sekarang, AI yang berhasil memecahkannya.
Model penalaran umum internal OpenAI telah menghasilkan bukti yang menyelesaikan masalah jarak unit planar, sebuah konjektur yang pertama kali diajukan oleh matematikawan Hungaria legendaris Paul Erdős pada tahun 1946. Bukti tersebut, yang mencakup sekitar 125 halaman, menetapkan keluarga tak hingga konfigurasi planar dengan pasangan jarak unit lebih banyak daripada susunan optimal yang secara tradisional diasumsikan. Dengan kata sederhana: AI menemukan pola geometris yang melanggar batas yang diyakini berlaku selama delapan dekade oleh para matematikawan.
Apa yang sebenarnya dikatakan bukti tersebut
Masalah jarak unit planar menanyakan: diberikan n titik di bidang, berapa jumlah maksimum pasangan yang dapat berjarak tepat satu satuan? Erdős menduga batas atas untuk jumlah ini, dan selama beberapa dekade, konfigurasi terbaik yang diketahui adalah struktur seperti kisi yang tampaknya mengonfirmasi intuisinya.
Model OpenAI mengambil jalur yang sama sekali berbeda. Alih-alih mengiterasi susunan grid yang sudah dikenal, model ini mendekati masalah melalui teori bilangan aljabar, menghubungkannya dengan struktur matematis canggih yang disebut menara bidang kelas tak hingga. Hasilnya adalah keluarga tak hingga konfigurasi yang melampaui konfigurasi optimal yang secara tradisional diterima, sekaligus membantah batas atas yang diduga oleh Erdős. Peningkatan ini telah diukur dengan eksponen sekitar 0,014.
Siapa yang memverifikasinya, dan mengapa hal itu penting
Tim Gowers, seorang penerima Medali Fields, meninjau karya tersebut. Demikian pula Will Sawin, seorang matematikawan dari Princeton. Keduanya memvalidasi kebenaran bukti tersebut. Sawin secara khusus mengkuantifikasi peningkatan pada angka eksponen sekitar 0,014.
Pengumuman tersebut muncul sekitar 20 Mei 2026, dan segera mengubah percakapan tentang apa yang dapat dilakukan sistem penalaran AI dalam konteks penelitian murni.
Apa artinya ini selain matematika
Teknik-teknik yang terlibat, khususnya teori bilangan aljabar dan konstruksi objek matematis baru, memiliki relevansi langsung terhadap verifikasi formal dan sistem zero-knowledge proof.
Verifikasi formal adalah proses membuktikan secara matematis bahwa kode melakukan apa yang seharusnya dilakukan. Jika model penalaran AI dapat menghasilkan dan memvalidasi bukti pada tingkat yang ditunjukkan di sini, biaya dan jadwal untuk memverifikasi formal protokol kompleks dapat turun drastis.
Bukti zero-knowledge, teknik kriptografi yang menjadi dasar blockchain dan solusi penskalaan berfokus pada privasi seperti zk-rollups, dibangun di atas fondasi aljabar yang mendalam. Jenis teori bilangan aljabar yang dimanfaatkan model OpenAI untuk memecahkan masalah ini berada di wilayah matematis yang sama.
Tidak ada token kripto spesifik yang terkait dengan hasil ini, dan siapa pun yang mengklaim sebaliknya sedang melangkah terlalu jauh sebelum fakta tersedia.