MediaMerdeka.com – Perusahaan teknologi OpenAI mengklaim model kecerdasan buatan (AI) mereka sukses menemukan solusi baru demi 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, apabila sejumlah titik ditempatkan pada bidang datar, berapa sejumlah pasangan titik yang dapat memiliki jarak tepat satu satuan.
Selama puluhan tahun, para matematikawan percaya susunan terbaik demi memaksimalkan pasangan titik itu akan menyerupai pola kisi persegi.
Hipotesis tersebut menjadi dasar penting dalam bidang geometri kombinatorik dan lama dianggap sebagai pendekatan teramat optimal.
Namun, model AI milik OpenAI justru menemukan pola struktur baru yang diklaim makin 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 demi matematika.
OpenAI menyebut AI mereka merupakan model penalaran umum yang mampu menganalisis berbagai pendekatan, menguji kebarangkalian, 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 lantaran jarang korporasi AI membuka detail proses berpikir model mereka.
Sejumlah matematikawan ternama turut memverifikasi hasil tersebut. Di antaranya merupakan Tim Gowers, Noga Alon, dan Thomas Bloom.
Tim Gowers bahkan menyebut apabila pembuktian itu dikirim oleh manusia ke jurnal matematika papan atas, dirinya tidak akan ragu merekomendasikan demi diterima.
Sementara Thomas Bloom menilai AI sukses menempuh jalur pemikiran yang biasanya diabaikan manusia.
Menurutnya, pendekatan tersebut semasih belumnya dianggap tidak realistis demi menghasilkan solusi.
Artikel ini telah tayang di sumber aslinya. Baca selengkapnya di Sini

