Endoxa Asia – OpenAI mengumumkan tiga hasil riset yang diklaim sebagai terobosan di bidang matematika, ilmu komputer, dan fisika. Diumumkan pada 26 Oktober 2026, temuan tersebut mencakup pembuktian sejumlah konjektur matematika, klaim bahwa hipotesis penting dalam teori komputasi tidak berlaku, serta pembuktian matematis terkait teori medan kuantum.
Namun, pengumuman ini tidak berarti ketiga hasil tersebut telah diterima secara independen oleh komunitas ilmiah. Sejumlah akademisi masih perlu memeriksa materi yang dihasilkan model AI, sementara keputusan OpenAI membatasi akses awal terhadap sebagian hasil riset memicu perdebatan tentang keterbukaan penelitian.
Dalam pengumuman resminya, OpenAI menyebut pendekatan baru ini sebagai upaya bekerja bersama komunitas akademik agar hasil yang dihasilkan AI dapat diperiksa, dijelaskan, dan dikembangkan lebih lanjut.
Tiga Klaim Riset di Bidang Berbeda
Temuan pertama berkaitan dengan local smoothing conjecture, masalah dalam analisis harmonik yang diperkenalkan oleh matematikawan Christopher Sogge pada 1991. OpenAI mengklaim modelnya menghasilkan pembuktian untuk konjektur tersebut di seluruh dimensi ruang yang relevan.
Menurut perusahaan itu, hasil tersebut juga memiliki implikasi terhadap Kakeya conjecture dan Stein’s restriction conjecture, dua persoalan penting dalam matematika. OpenAI telah merilis keluaran model dan pembuktian yang diformalkan menggunakan Lean, perangkat untuk memeriksa bukti matematika secara komputasional.
Klaim kedua menyangkut Exponential Time Hypothesis (ETH), hipotesis yang selama ini banyak digunakan dalam teori kompleksitas komputasi. Secara umum, ETH menyatakan bahwa persoalan tertentu terkait pemenuhan formula Boolean tidak dapat diselesaikan jauh lebih cepat daripada pendekatan eksponensial tertentu.
OpenAI mengklaim sistemnya menemukan algoritma deterministik yang dapat menghitung secara tepat penugasan yang memenuhi formula CNF dengan lebar tetap dalam waktu subeksponensial dan ruang polinomial. Jika pembuktian itu benar, hasilnya akan menantang asumsi yang selama ini digunakan dalam banyak penelitian ilmu komputer.
Temuan ketiga berada di bidang fisika matematis. OpenAI menyatakan modelnya menghasilkan pembuktian keberadaan matematis untuk teori medan kuantum berinteraksi tertentu dalam empat dimensi, termasuk kromodinamika kuantum atau QCD dan teori yang menyatukan unsur-unsur Model Standar fisika partikel.
Perusahaan juga menyebut pekerjaan tersebut mencakup pembuktian keberadaan teori Yang–Mills murni, yang berkaitan dengan salah satu persoalan Millennium Prize dari Clay Mathematics Institute. Namun, klaim ini tidak boleh disamakan dengan penyelesaian seluruh persoalan Yang–Mills, khususnya masalah mass gap yang masih terbuka.
OpenAI Memilih Tiga Cara Publikasi
Ketiga temuan tersebut tidak dirilis dengan mekanisme yang sama. OpenAI mengatakan keputusan itu dibuat setelah berkonsultasi dengan sejumlah pakar eksternal yang membantu menentukan cara terbaik untuk menelaah hasil riset.
Untuk matematika, keluaran AI dipublikasikan agar para peneliti dapat mempelajari dan mengembangkan penjelasannya sendiri. Untuk ilmu komputer, OpenAI membentuk kelompok kerja eksternal, sekaligus merilis pembuktian dalam bahasa alami dan formalitas Lean agar dapat diperiksa secara terbuka.
Kelompok kerja ilmu komputer dipimpin Russell Impagliazzo dan Ramamohan Paturi dari University of California, San Diego, serta Ryan Williams dari Massachusetts Institute of Technology. Impagliazzo dan Paturi merupakan dua tokoh yang ikut mengajukan ETH bersama Francis Zane pada 1999.
Sementara itu, materi lengkap hasil fisika belum dipublikasikan. OpenAI menyatakan kelompok yang dipimpin peraih Nobel Fisika David Gross akan mengarahkan proses penulisan dan publikasinya. Kelompok tersebut mencakup Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov.
OpenAI mengatakan partisipasi kelompok-kelompok ini bersifat sukarela dan independen. Perusahaan juga menyatakan tidak mencari kredit akademik atas penemuan yang dihasilkan model internalnya.
Akademisi Pertanyakan Akses yang Tidak Merata
Pendekatan tersebut memunculkan perdebatan. Sejumlah peneliti yang diwawancarai The Verge menyambut keterlibatan pakar eksternal, tetapi mempertanyakan keputusan untuk memberikan peran khusus kepada kelompok yang dipilih lebih dahulu oleh OpenAI.
Kritik utamanya adalah potensi ketimpangan akses. Ketika hasil riset diumumkan kepada publik tetapi materi lengkapnya hanya tersedia bagi kelompok tertentu, peneliti lain tidak memiliki kesempatan yang sama untuk melakukan pemeriksaan independen sejak awal.
Perdebatan ini juga berkaitan dengan rekomendasi Advisory Group on Mathematics and Artificial Intelligence (AGMAI). Kelompok penasihat tersebut sebelumnya menyarankan agar perusahaan AI merilis hasil penelitian melalui repositori ilmiah terbuka, menyertakan bukti formal, menjelaskan bagaimana masalah dipilih, dan mendukung peneliti yang bertugas memahami hasil tersebut.
Setelah pengumuman OpenAI, AGMAI juga mendesak agar materi pembuktian untuk temuan fisika segera dipublikasikan. Menurut kelompok tersebut, akses terbuka penting agar pemeriksaan ilmiah dapat berlangsung secara lebih luas dan setara.
OpenAI sendiri mengakui bahwa setiap metode publikasi memiliki konsekuensi. Penunjukan kelompok ahli dapat membantu menjelaskan penelitian yang rumit, tetapi juga berisiko menciptakan ketimpangan informasi dan memengaruhi siapa yang terlibat lebih dahulu.
Pembuktian Formal Belum Mengakhiri Pemeriksaan Ilmiah
Penggunaan Lean menjadi salah satu aspek penting dalam pengumuman ini. Sistem tersebut memungkinkan pembuktian matematika diterjemahkan ke dalam format formal yang dapat diperiksa oleh perangkat lunak berdasarkan aturan logika yang ditentukan.
Meski demikian, keberadaan pembuktian formal tidak otomatis menjawab seluruh pertanyaan tentang bagaimana hasil diperoleh, asumsi yang digunakan, atau relevansinya terhadap persoalan ilmiah yang lebih luas. Para peneliti tetap perlu memeriksa isi pembuktian, konteks teoritis, serta implikasinya.
Karena itu, klaim OpenAI perlu dibedakan dari hasil yang sudah melewati pemeriksaan independen dan memperoleh penerimaan luas di komunitas ilmiah. Penilaian tersebut membutuhkan waktu, terutama untuk persoalan yang telah lama menjadi fokus penelitian.
OpenAI juga menyatakan akan mendukung penelitian lanjutan melalui pendanaan, termasuk kontribusi senilai US$5 juta kepada Simons Foundation untuk lokakarya, konferensi, dan program yang membantu peneliti memahami serta mengembangkan hasil riset berbantuan AI.
Pengumuman ini memperlihatkan potensi AI untuk membantu mengeksplorasi persoalan ilmiah yang sulit, sekaligus menyoroti tantangan dalam memvalidasi dan membagikan hasilnya. Tahap berikutnya bukan hanya menentukan apakah klaim tersebut benar, tetapi juga memastikan proses pemeriksaannya berlangsung transparan, dapat diakses, dan bermanfaat bagi komunitas ilmiah yang lebih luas.
About The Author
Komentar