AI OpenAI Diklaim Membantah Dugaan Geometri Erdős yang Bertahan Hampir 80 Tahun

OpenAI menyatakan bahwa salah satu model penalaran internalnya berhasil menghasilkan bukti matematika orisinal yang membantah sebuah dugaan lama terkait planar unit distance problem—sebuah pertanyaan geometri terkenal yang pertama kali diajukan oleh matematikawan Hungaria Paul Erdős pada tahun 1946.

Jika hasil ini lolos pemeriksaan matematis yang ketat, penemuan tersebut bisa menjadi salah satu contoh paling signifikan di mana kecerdasan buatan berkontribusi langsung pada riset matematika murni.

Masalah Geometri yang Bertahan 80 Tahun

Masalah planar unit distance terdengar sederhana, tetapi sangat sulit diselesaikan. Pertanyaannya adalah:

Jika ada n titik pada bidang datar, berapa banyak pasangan titik yang bisa memiliki jarak tepat satu unit?

Selama puluhan tahun, pertanyaan ini menjadi topik utama dalam geometri diskret dan kombinatorial. Para matematikawan mencoba menemukan susunan titik yang menghasilkan sebanyak mungkin pasangan berjarak satu unit, sekaligus menentukan batas maksimum teoritisnya.

Salah satu keyakinan yang cukup lama dipegang adalah bahwa susunan titik yang paling efisien kemungkinan akan menyerupai pola grid persegi, mirip titik-titik pada kisi (lattice) matematika.

Namun menurut laporan tentang penelitian terbaru OpenAI, bukti yang dihasilkan oleh AI justru membantah dugaan yang mendasari asumsi tersebut.

Apa yang Diklaim Dilakukan Model AI OpenAI

OpenAI mengatakan sebuah model penalaran serbaguna (general‑purpose reasoning model) menghasilkan argumen matematika baru yang menolak dugaan penting dalam masalah Erdős tersebut.

Beberapa poin utama dari klaim ini:

• Model tersebut menghasilkan argumen matematika baru, bukan sekadar mengulang hasil yang sudah diketahui.
• Bukti tersebut dilaporkan menggunakan teknik dari teori bilangan aljabar (algebraic number theory) untuk membangun konfigurasi titik yang lebih baik daripada pendekatan berbasis grid persegi.
• Hasilnya menantang ekspektasi lama tentang bentuk susunan titik yang dianggap optimal.

Jika benar, temuan ini mengubah pemahaman teoretis mengenai salah satu pertanyaan klasik dalam geometri diskret.

Mengapa Berbeda dari Kontroversi GPT‑5 Sebelumnya

Pengumuman ini datang setelah klaim sebelumnya yang melibatkan GPT‑5.

Pada kasus tersebut, perwakilan OpenAI pernah mengatakan modelnya menyelesaikan beberapa masalah Erdős. Namun analisis selanjutnya menunjukkan bahwa model tersebut hanya menemukan kembali solusi yang sudah ada dalam literatur matematika, bukan menemukan hasil baru.

Klaim terbaru ini dianggap berbeda karena:

• Bukti yang dihasilkan disebut benar‑benar orisinal, bukan rediscovery.
• Beberapa matematikawan eksternal dilaporkan telah meninjau dan memberikan dukungan awal terhadap argumen tersebut.

Meski demikian, dalam matematika sebuah bukti baru biasanya baru dianggap sah setelah melewati proses peer review yang sangat ketat dan dipublikasikan di jurnal ilmiah.

Tanggapan Awal dari Para Matematikawan

Beberapa laporan menyebut sejumlah matematikawan ternama telah melihat bukti tersebut dan memberikan komentar positif, termasuk Noga Alon, Melanie Wood, dan Thomas Bloom, yang dikenal di bidang kombinatorika dan teori bilangan.

Pengamat mengatakan hasil ini tampak jauh lebih kuat dibanding upaya AI sebelumnya dalam menghasilkan bukti matematika baru.

Namun seperti biasa dalam komunitas matematika, validasi penuh membutuhkan waktu. Bukti berskala besar biasanya melalui proses pemeriksaan detail oleh banyak ahli sebelum diterima secara luas.

Mengapa Peneliti Menganggapnya Penting

Di luar hasil geometri itu sendiri, para peneliti melihat implikasi yang lebih luas: AI mungkin mulai mampu menangani rantai penalaran panjang yang diperlukan dalam penelitian ilmiah tingkat lanjut.

Banyak masalah ilmiah sulit membutuhkan ratusan bahkan ribuan langkah logika yang saling terhubung. Jika sistem AI mampu membangun dan memverifikasi rantai penalaran semacam itu secara andal, dampaknya bisa meluas ke berbagai bidang, seperti:

• fisika teoretis
• biologi dan kedokteran
• teknik dan ilmu material

Beberapa peneliti menilai perkembangan ini menunjukkan bahwa AI dapat berkembang dari sekadar alat bantu peneliti menjadi sistem yang sesekali menghasilkan wawasan teoretis baru.

Kesimpulan

OpenAI mengklaim bahwa model penalarannya menghasilkan bukti matematika baru yang membantah dugaan terkait masalah planar unit distance dari Paul Erdős—sebuah persoalan yang telah dipelajari hampir 80 tahun sejak 1946.

Klaim ini berbeda dari episode GPT‑5 sebelumnya karena disebut menghasilkan hasil yang benar‑benar baru dan telah mendapat dukungan awal dari beberapa matematikawan.

Namun dalam dunia matematika, keputusan akhir selalu datang setelah proses verifikasi yang panjang. Jika bukti ini bertahan dalam pemeriksaan tersebut, temuan ini bisa menjadi salah satu contoh pertama AI berkontribusi langsung pada solusi asli untuk masalah terbuka dalam matematika murni.