OpenAI Klaim Patahkan Teori Komputasi, Ini Dampaknya

OpenAI mengklaim berhasil menghasilkan bukti matematika berbasis kecerdasan buatan (AI) yang berpotensi menggugurkan salah satu asumsi penting dalam ilmu komputer. Temuan tersebut berkaitan dengan batas kemampuan komputasi komputer konvensional yang selama ini menjadi landasan sejumlah penelitian, termasuk pengembangan komputer kuantum.

Untuk memastikan kebenaran klaim tersebut, OpenAI melibatkan sejumlah peneliti independen guna memeriksa dan menjelaskan pembuktian yang dihasilkan AI. Hasil penelitian ini menarik perhatian karena berpotensi mengubah pemahaman ilmuwan mengenai tingkat kesulitan suatu persoalan komputasi.

Dalam pengumuman resminya, OpenAI menyebutkan tiga kemajuan ilmiah yang saat ini sedang menjadi perhatian komunitas peneliti. Salah satu klaim utamanya berkaitan dengan Exponential Time Hypothesis (ETH), sebuah hipotesis yang selama ini digunakan untuk menjelaskan keterbatasan kemampuan komputer dalam menyelesaikan persoalan logika tertentu.

Hipotesis tersebut memiliki peran penting dalam teori kompleksitas komputasi. Sejumlah prediksi mengenai keunggulan komputer kuantum dibandingkan komputer klasik juga menggunakan asumsi yang berkaitan dengan ETH.

Jika pembuktian OpenAI terbukti benar, sejumlah teori yang selama ini digunakan untuk memperkirakan batas kemampuan komputasi komputer konvensional mungkin perlu ditinjau kembali.

Namun, temuan tersebut belum otomatis membuktikan bahwa komputer klasik mampu menyelesaikan semua persoalan dengan lebih cepat atau mengubah keunggulan praktis komputer kuantum.

OpenAI menunjuk kelompok peneliti yang dipimpin Russell Impagliazzo dan Ramamohan Paturi dari University of California, San Diego, serta Ryan Williams dari Massachusetts Institute of Technology (MIT) untuk memverifikasi hasil tersebut. Impagliazzo dan Paturi merupakan dua ilmuwan yang turut merumuskan hipotesis ETH.

Perusahaan menyatakan bahwa bukti matematika yang dihasilkan AI telah diperiksa menggunakan Lean, sebuah sistem verifikasi matematika. Bukti tersebut juga dirilis agar dapat ditelaah secara terbuka oleh komunitas ilmiah.

Memahami Hipotesis ETH dan Batas Kemampuan Komputer

Exponential Time Hypothesis merupakan asumsi dalam ilmu komputer yang berkaitan dengan seberapa cepat waktu komputasi meningkat ketika ukuran suatu persoalan semakin besar.

Untuk memahaminya, bayangkan sebuah persoalan penyusunan jadwal rapat yang memiliki banyak aturan. Misalnya, setidaknya satu dari beberapa orang harus menghadiri rapat, sementara kombinasi kehadiran tertentu tidak diperbolehkan.

Memeriksa apakah sebuah jadwal sudah memenuhi seluruh aturan mungkin relatif mudah. Namun, menemukan jadwal yang benar-benar sesuai dengan semua persyaratan akan semakin sulit ketika jumlah aturan dan variabel bertambah.

ETH pada dasarnya menyatakan bahwa persoalan logika tertentu tidak dapat diselesaikan dengan algoritma yang jauh lebih cepat dari pertumbuhan eksponensial, bahkan dengan menggunakan program komputer terbaik sekalipun.

Artinya, semakin besar persoalan yang harus diselesaikan, semakin besar pula kebutuhan waktu komputasi yang diperlukan. Peningkatan tersebut bukan sekadar bertambah sedikit demi sedikit, melainkan dapat meningkat sangat tajam.

Asumsi ini juga digunakan untuk memahami tingkat kesulitan berbagai persoalan komputasi lainnya. Penelitian Impagliazzo, Paturi, dan Francis Zane, misalnya, menghubungkan ETH dengan persoalan seperti graph coloring atau pewarnaan graf, serta pencarian kelompok tertentu dalam jaringan komputer.

Jika klaim OpenAI berhasil membuktikan bahwa ETH tidak berlaku, pemahaman mengenai batas kemampuan komputasi tersebut tentu akan menghadapi tantangan besar.

Meski demikian, membantah ETH bukan berarti semua persoalan komputasi berukuran besar langsung bisa diselesaikan dengan mudah.

Salah satu alasannya adalah adanya algoritma yang disebut subexponential. Algoritma ini memiliki pertumbuhan waktu komputasi lebih lambat dibandingkan pertumbuhan eksponensial, tetapi belum tentu cukup cepat untuk digunakan dalam praktik.

Sebagai gambaran, perhitungan yang membutuhkan waktu sebesar dua pangkat akar kuadrat dari jumlah variabel masih dapat memerlukan sekitar satu triliun langkah komputasi untuk persoalan dengan 1.600 variabel.

Contoh tersebut memperlihatkan bahwa sebuah peningkatan secara matematis belum tentu memberikan manfaat langsung dalam penggunaan sehari-hari. Bahkan, biaya komputasi tambahan atau overhead yang diperlukan bisa lebih besar daripada keuntungan yang diperoleh.

Membantah ETH juga tidak otomatis menjawab persoalan besar lainnya dalam ilmu komputer, yakni P versus NP. Persoalan ini mempertanyakan apakah suatu masalah yang jawabannya dapat diperiksa secara efisien juga bisa diselesaikan secara efisien.

Sebab, algoritma dengan waktu komputasi subeksponensial masih dapat jauh lebih lambat dibandingkan algoritma polinomial yang menjadi fokus dalam persoalan P versus NP.

Dampaknya terhadap Perkembangan Komputer Kuantum

Klaim OpenAI menjadi perhatian khusus bagi peneliti komputasi kuantum karena sejumlah teori mengenai keunggulan komputer kuantum bergantung pada asumsi tentang keterbatasan komputer klasik.

Komputer kuantum dikembangkan untuk menyelesaikan jenis persoalan tertentu dengan memanfaatkan prinsip mekanika kuantum. Teknologi ini berpotensi memberikan keunggulan dibandingkan komputer konvensional dalam sejumlah perhitungan yang kompleks.

Namun, untuk membuktikan keunggulan tersebut, peneliti perlu menunjukkan bahwa komputer klasik memang tidak dapat menyelesaikan persoalan yang sama dengan tingkat kecepatan atau efisiensi yang sebanding.

Di sinilah ETH dan asumsi terkait lainnya memiliki peran penting.

Dalam salah satu penelitian, sejumlah ilmuwan mengkaji kemampuan metode komputasi klasik untuk menghitung quantum circuit amplitudes, yaitu besaran numerik yang digunakan untuk menentukan probabilitas hasil pengukuran dalam sebuah sirkuit kuantum.

Penelitian tersebut menemukan adanya batasan mengenai seberapa cepat metode komputasi klasik tertentu dapat digunakan untuk menyimulasikan sirkuit kuantum.

Para peneliti juga mengidentifikasi batasan yang lebih luas berdasarkan Strong Exponential Time Hypothesis (SETH), sebuah asumsi lain yang berkaitan dengan tingkat kesulitan persoalan komputasi dan memiliki hubungan dengan ETH.

Jika asumsi tersebut terbukti keliru, kesimpulan penelitian yang bergantung padanya perlu ditinjau kembali dan didukung dasar pembuktian lain. Namun, hasil penelitian yang tidak menggunakan asumsi tersebut tetap dapat dipertahankan.

Kondisi ini menunjukkan bahwa perubahan dalam teori kompleksitas komputasi tidak boleh langsung diartikan sebagai perubahan nyata dalam kemampuan teknologi.

Hilangnya bukti bahwa suatu perhitungan sulit dilakukan tidak serta-merta memberikan algoritma baru yang mampu menyelesaikannya dengan cepat. Para peneliti tetap harus membuktikan apakah tersedia metode komputasi klasik yang lebih efisien dan sejauh mana metode tersebut dapat diterapkan.

Bagi komunitas komputasi kuantum, pekerjaan penting berikutnya adalah mengidentifikasi teori atau perbandingan kinerja yang bergantung pada ETH dan SETH, kemudian memisahkannya dari hasil matematika independen maupun pengukuran kinerja komputer secara langsung.

Dengan demikian, pengumuman OpenAI belum dapat dianggap sebagai bukti bahwa keunggulan praktis komputer kuantum telah berubah.

Bukti Matematika AI Diperiksa Menggunakan Lean

Salah satu aspek menarik dari klaim OpenAI adalah penggunaan AI untuk menghasilkan pembuktian matematika yang kemudian diperiksa menggunakan Lean.

Lean merupakan perangkat lunak yang dirancang untuk memverifikasi penalaran matematika secara formal. Sistem ini mengharuskan peneliti menerjemahkan pembuktian ke dalam bahasa matematika yang terstruktur dan memiliki aturan ketat.

Setelah itu, Lean akan memeriksa setiap langkah untuk memastikan bahwa penalaran yang digunakan mengikuti definisi dan asumsi yang telah ditetapkan.

Pendekatan ini memberikan tingkat kepastian lebih tinggi dibandingkan sekadar menerima penjelasan AI yang terdengar logis dan meyakinkan. Sebab, setiap langkah pembuktian harus memenuhi aturan matematika yang dapat diperiksa oleh sistem.

Meski demikian, penggunaan Lean bukan berarti seluruh klaim otomatis benar.

Perangkat lunak tersebut hanya memeriksa pembuktian berdasarkan pernyataan, definisi, dan asumsi yang diberikan. Karena itu, para peneliti tetap harus memastikan bahwa rumusan matematika yang digunakan benar-benar menggambarkan persoalan komputasi yang diklaim telah diselesaikan OpenAI.

Mereka juga perlu memeriksa apakah asumsi yang mendasari pembuktian tersebut sudah tepat.

Kolaborasi dengan peneliti eksternal diharapkan dapat memberikan penjelasan lebih mendalam mengenai cara kerja pembuktian sekaligus mengidentifikasi kontribusinya terhadap perkembangan ilmu komputer.

Bahkan apabila klaim tersebut terbukti benar, hasil matematika yang menunjukkan kemungkinan komputasi lebih cepat belum tentu langsung menghasilkan algoritma yang dapat berjalan secara efisien pada komputer saat ini.

Diperlukan penelitian lanjutan untuk mengetahui apakah temuan tersebut benar-benar dapat diterapkan dan memberikan manfaat nyata.

OpenAI Juga Mengajukan Klaim dalam Fisika Kuantum

Selain persoalan batas kemampuan komputasi, OpenAI mengumumkan kemajuan lain berupa bukti matematis mengenai keberadaan quantum field theory. Salah satu bidang yang menjadi perhatian adalah quantum chromodynamics (QCD), yakni teori fisika yang menjelaskan interaksi antara partikel dasar bernama kuark (quarks) dan gluon (gluons).

Untuk memeriksa klaim tersebut, OpenAI melibatkan kelompok kolaborasi yang dipimpin fisikawan David Gross. Sementara itu, materi yang dihasilkan AI belum dipublikasikan karena tim peneliti masih mempersiapkan penjelasan dan laporan mengenai hasil pemeriksaannya.

OpenAI juga menyampaikan klaim mengenai pembuktian keberadaan teori Yang-Mills murni (pure Yang-Mills theory).

Klaim ini berkaitan dengan salah satu persoalan matematika yang diajukan Clay Mathematics Institute. Persoalan Yang-Mills merupakan bagian dari tujuh Millennium Prize Problems, yaitu kumpulan masalah matematika paling menantang di dunia.

Setiap persoalan dalam daftar tersebut menawarkan hadiah sebesar US$1 juta bagi peneliti yang berhasil menyelesaikannya sesuai persyaratan yang ditentukan.

Namun, membuktikan keberadaan teori Yang-Mills saja belum cukup untuk menyelesaikan seluruh persoalan tersebut. Peneliti juga harus membuktikan keberadaan mass gap atau celah massa, yaitu perbedaan energi minimum antara keadaan vakum dan keadaan eksitasi dalam teori tersebut.

Karena itu, klaim mengenai keberadaan teori Yang-Mills tidak boleh langsung dianggap sebagai penyelesaian penuh salah satu Millennium Prize Problems.

Menunggu Verifikasi untuk Membuktikan Dampak Nyata

Klaim terbaru OpenAI memperlihatkan semakin luasnya potensi penggunaan AI dalam penelitian ilmiah, termasuk untuk menghasilkan pembuktian matematika yang kompleks.

Jika hasilnya terbukti benar melalui pemeriksaan independen, temuan tersebut dapat memberikan kontribusi penting bagi teori kompleksitas komputasi dan pemahaman ilmuwan mengenai batas kemampuan komputer.

Namun, masih ada sejumlah tahapan yang harus dilalui sebelum klaim tersebut dapat diterima secara luas. Verifikasi oleh peneliti independen, pemeriksaan asumsi matematika, serta pengujian manfaat praktis menjadi bagian penting dari proses tersebut.

Hal yang juga perlu diperhatikan adalah perbedaan antara keberhasilan membuktikan sesuatu secara matematis dan kemampuan menerapkannya dalam teknologi nyata.

Dengan demikian, klaim OpenAI belum menjadi penanda bahwa komputer klasik akan segera melampaui komputer kuantum atau sebaliknya. Temuan ini justru membuka ruang bagi penelitian lebih lanjut untuk memahami kembali batas komputasi, sekaligus menguji sejauh mana AI dapat membantu manusia menghasilkan terobosan ilmiah.