Misteri Matematika 80 Tahun Terpecahkan! OpenAI Selesaikan Soal Geometri Paling Sulit di Dunia

Suara.com - Perusahaan teknologi OpenAI mengklaim model kecerdasan buatan (AI) mereka berhasil menemukan solusi baru untuk masalah geometri legendaris yang diperkenalkan matematikawan Paul Erdos sejak 1946.

Penemuan itu disebut-sebut membantah hipotesis yang telah diyakini dunia matematika selama hampir 80 tahun.

Misteri matematik yang dikenal sebagai planar unit distance problem tersebut menanyakan satu hal sederhana, jika sejumlah titik ditempatkan pada bidang datar, berapa banyak pasangan titik yang dapat memiliki jarak tepat satu satuan.

Selama puluhan tahun, para matematikawan percaya susunan terbaik untuk memaksimalkan pasangan titik itu akan menyerupai pola kisi persegi.

Hipotesis tersebut menjadi dasar penting dalam bidang geometri kombinatorik dan lama dianggap sebagai pendekatan paling optimal.

Namun, model AI milik OpenAI justru menemukan pola struktur baru yang diklaim lebih efisien dibanding pendekatan klasik.

Temuan itu otomatis menggugurkan asumsi lama yang selama ini dipegang komunitas matematika internasional.

Menurut laporan media Inggris The Guardian, model AI tersebut bukan sistem yang dilatih khusus untuk matematika.

OpenAI menyebut AI mereka merupakan model penalaran umum yang mampu menganalisis berbagai pendekatan, menguji kemungkinan, lalu menghasilkan pembuktian baru secara mandiri.

OpenAI bahkan merilis dokumen puluhan halaman yang memperlihatkan proses penalaran AI saat memecahkan persoalan tersebut.

Langkah ini memicu perhatian besar di kalangan akademisi karena jarang perusahaan AI membuka detail proses berpikir model mereka.

Sejumlah matematikawan ternama turut memverifikasi hasil tersebut. Di antaranya adalah Tim Gowers, Noga Alon, dan Thomas Bloom.

Tim Gowers bahkan menyebut jika pembuktian itu dikirim oleh manusia ke jurnal matematika papan atas, dirinya tidak akan ragu merekomendasikan untuk diterima.

Sementara Thomas Bloom menilai AI berhasil menempuh jalur pemikiran yang biasanya diabaikan manusia.

Menurutnya, pendekatan tersebut sebelumnya dianggap tidak realistis untuk menghasilkan solusi.

Media sains Scientific American menyebut keberhasilan tersebut berpotensi menjadi pertama kalinya pembuktian buatan AI dianggap cukup kuat untuk masuk ke jurnal matematika bergengsi.

OpenAI menegaskan sistem mereka tidak diprogram khusus untuk menyelesaikan soal Erdos.

Kemampuan utama AI itu justru berada pada penalaran berantai jangka panjang dan menjaga konsistensi logika, sesuatu yang sebelumnya sulit dicapai teknologi AI.

Matematikawan Arul Shankar mengatakan AI kini mulai bergerak dari sekadar alat bantu komputasi menjadi sistem yang mampu menghasilkan ide orisinal dan kreatif.

Meski demikian, para peneliti menilai manusia tetap memegang peran utama dalam ilmu pengetahuan.

AI dapat menawarkan arah baru, tetapi proses verifikasi, interpretasi, hingga pengembangan teori tetap membutuhkan campur tangan matematikawan.

Para peneliti meyakini jika kemampuan penalaran AI terus berkembang, teknologi ini berpotensi memainkan peran besar dalam bidang fisika, biologi, ilmu material, hingga desain chip yang sangat bergantung pada pemodelan matematika kompleks.