OpenAI kembali menarik perhatian dunia teknologi setelah mengumumkan tiga hasil penelitian yang diklaim sebagai terobosan dalam matematika, ilmu komputer, dan fisika teoretis. Perusahaan pengembang ChatGPT itu menyatakan model kecerdasan buatannya berhasil menghasilkan pembuktian untuk sejumlah persoalan ilmiah yang telah lama menjadi tantangan para peneliti.
Pengumuman yang disampaikan pada 26 Oktober 2026 tersebut mencakup pembuktian dalam analisis harmonik, bantahan terhadap Exponential Time Hypothesis (ETH) dalam ilmu komputer teoretis, serta pembuktian keberadaan teori medan kuantum tertentu dalam fisika.
Jika hasil-hasil tersebut terbukti benar melalui pemeriksaan independen, dampaknya dapat meluas hingga cara ilmuwan memahami persoalan matematika dan merancang algoritma komputasi. Namun, klaim perusahaan teknologi tidak otomatis menjadi konsensus ilmiah. Para ahli masih perlu memeriksa bukti, asumsi, dan konsekuensi dari setiap hasil yang diumumkan.
Dalam publikasinya, OpenAI juga memperkenalkan pendekatan baru untuk bekerja bersama komunitas akademik. Perusahaan menyebut naskah yang dihasilkan AI sebagai bahan penelitian awal yang perlu diperiksa, dipahami, dan dikembangkan lebih lanjut oleh para ilmuwan.
Tiga Klaim Terobosan AI OpenAI
OpenAI mengelompokkan hasil risetnya ke dalam tiga bidang berbeda. Masing-masing menyentuh persoalan mendasar yang memiliki sejarah panjang dalam penelitian ilmiah.
1. Pembuktian dalam Matematika
Klaim pertama berkaitan dengan local smoothing conjecture, persoalan dalam analisis harmonik yang berhubungan dengan perilaku gelombang dan persamaan diferensial.
Secara sederhana, analisis harmonik mempelajari bagaimana sinyal, gelombang, dan fungsi dapat diuraikan serta dianalisis menggunakan pendekatan matematis. Bidang ini memiliki penerapan dalam berbagai disiplin, termasuk fisika, pemrosesan sinyal, dan persamaan yang menggambarkan fenomena alam.
OpenAI menyatakan modelnya menghasilkan pembuktian untuk local smoothing conjecture dalam semua dimensi. Perusahaan tersebut juga mengklaim hasil itu memiliki implikasi terhadap dua persoalan terkait, yakni Kakeya conjecture dan Stein restriction conjecture.
Persoalan Kakeya, secara garis besar, berkaitan dengan seberapa kecil suatu himpunan dapat dibuat ketika harus memuat segmen garis dalam setiap arah. Masalah ini memiliki hubungan dengan sejumlah pertanyaan penting dalam analisis harmonik dan teori geometri.
Menurut OpenAI, hasil matematika tersebut dihasilkan oleh model AI pada 18 Oktober 2026. Pembuktiannya kemudian diformalkan menggunakan Lean pada hari berikutnya.
Lean merupakan sistem yang dapat digunakan untuk memeriksa bukti matematika secara formal. Pemeriksaan formal membantu memastikan bahwa suatu pembuktian mengikuti aturan logika yang ditetapkan dalam sistem tersebut.
Meski demikian, pemeriksaan formal bukan berarti seluruh klaim dan interpretasi ilmiahnya otomatis diterima tanpa peninjauan lebih lanjut. Para matematikawan tetap perlu memeriksa ketepatan asumsi, hubungan antarteorema, dan cakupan hasil yang diklaim.
2. Hipotesis Komputasi yang Disebut Terbantahkan
Klaim kedua berasal dari ilmu komputer teoretis. OpenAI menyatakan model AI-nya menghasilkan pembuktian yang membantah Exponential Time Hypothesis atau ETH.
ETH merupakan hipotesis penting dalam teori kompleksitas komputasi. Hipotesis tersebut menyatakan bahwa persoalan tertentu, khususnya masalah kepuasan formula Boolean seperti 3-SAT, tidak dapat diselesaikan jauh lebih cepat daripada waktu eksponensial dalam kerangka yang relevan.
Selama bertahun-tahun, ETH digunakan sebagai landasan untuk menunjukkan batas kesulitan berbagai persoalan komputasi. Sejumlah penelitian memanfaatkannya untuk membangun argumen bahwa algoritma tertentu tidak mungkin memiliki peningkatan kecepatan yang terlalu besar, dengan asumsi ETH benar.
Jika klaim OpenAI terbukti valid, para peneliti perlu meninjau kembali hasil-hasil yang bergantung pada hipotesis tersebut. Namun, dampaknya tidak serta-merta berarti seluruh teori kompleksitas komputasi harus ditulis ulang. Implikasi setiap hasil perlu dianalisis secara khusus.
OpenAI menyebut hasil tersebut diformalkan menggunakan Lean dan membuka materi pembuktiannya untuk diperiksa. Kelompok peneliti eksternal yang melibatkan Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams akan membantu memeriksa serta menjelaskan temuan itu kepada komunitas ilmiah.
Pemeriksaan tersebut penting karena membantah hipotesis yang telah lama digunakan dalam penelitian membutuhkan bukti yang kuat, bukan sekadar hasil komputasi yang tampak meyakinkan.
3. Pembuktian Teori Medan Kuantum
Klaim ketiga menyentuh fisika teoretis, terutama teori medan kuantum. OpenAI menyatakan modelnya menghasilkan pembuktian matematis mengenai keberadaan teori medan kuantum berinteraksi tertentu dalam empat dimensi.
Hasil tersebut disebut mencakup teori kromodinamika kuantum atau quantum chromodynamics (QCD), yang menjelaskan interaksi kuat antara quark melalui partikel pembawa gaya yang disebut gluon.
Interaksi kuat merupakan salah satu interaksi fundamental di alam. Pemahaman matematis mengenai teori yang menggambarkannya menjadi bagian penting dalam upaya menjelaskan struktur materi pada tingkat subatomik.
OpenAI juga menyatakan hasil risetnya mencakup pembuktian keberadaan teori Yang-Mills murni. Persoalan Yang-Mills berkaitan dengan salah satu masalah matematika terkenal yang masuk dalam daftar Millennium Prize Problems dari Clay Mathematics Institute.
Namun, ada perbedaan penting yang harus diperhatikan. Klaim mengenai pembuktian keberadaan teori Yang-Mills tidak boleh langsung disamakan dengan penyelesaian seluruh masalah Millennium Prize tersebut, yang juga mensyaratkan pembuktian keberadaan mass gap.
Berbeda dari dua hasil lainnya, materi lengkap untuk klaim fisika belum dirilis secara terbuka. OpenAI menyatakan kelompok ahli eksternal akan menelaah hasil tersebut dan menentukan pendekatan publikasi yang sesuai.
Keterbatasan akses ini membuat pemeriksaan independen menjadi semakin penting sebelum komunitas ilmiah dapat menilai kekuatan klaim tersebut.
Mengapa Pembuktian AI Perlu Diperiksa?
Kemampuan AI menghasilkan pembuktian matematis merupakan perkembangan penting. Namun, hasil yang dibuat model tidak otomatis benar hanya karena ditulis menggunakan bahasa teknis atau dilengkapi rangkaian persamaan yang rumit.
Dalam penelitian, satu asumsi yang keliru atau langkah logika yang tidak sah dapat menggugurkan keseluruhan pembuktian. Karena itu, pemeriksaan harus dilakukan dengan ketelitian yang sesuai dengan kompleksitas masalah.
Sistem seperti Lean dapat membantu memeriksa konsistensi formal dari bukti yang telah diterjemahkan ke dalam sistem tersebut. Akan tetapi, para ahli tetap perlu memastikan bahwa bukti formal itu benar-benar mewakili klaim ilmiah yang disampaikan dan tidak bergantung pada asumsi yang keliru atau terlalu kuat.
Penilaian juga mencakup kebaruan hasil, hubungan dengan penelitian sebelumnya, serta batas penerapannya. Tahapan ini membutuhkan keahlian manusia yang memahami bidang terkait.
OpenAI memilih bekerja dengan kelompok ahli yang berperan sebagai pengarah atau shepherd. Mereka membantu mengoordinasikan pemeriksaan, menjelaskan temuan, dan menentukan bagaimana hasil tersebut sebaiknya disampaikan kepada komunitas akademik.
Perusahaan menyatakan pendekatan ini dirancang untuk membuat hasil penelitian AI lebih transparan dan bermanfaat bagi ilmuwan. OpenAI juga menyebut keterlibatan para ahli bersifat sukarela dan tidak mengharuskan mereka menandatangani perjanjian kerahasiaan.
Perubahan Peran AI dalam Penelitian
Pengumuman tersebut menunjukkan ambisi untuk menempatkan AI bukan hanya sebagai alat bantu menulis atau menganalisis data, tetapi juga sebagai sistem yang dapat membantu menghasilkan ide dan pembuktian ilmiah.
Dalam penelitian konvensional, ilmuwan biasanya merumuskan masalah, mengembangkan pendekatan, menguji dugaan, lalu menyusun pembuktian. Model AI berpotensi membantu sebagian tahapan tersebut dengan mengeksplorasi berbagai pendekatan dalam waktu relatif singkat.
Meski demikian, penggunaan AI tidak menghapus kebutuhan terhadap keahlian manusia. Peneliti tetap diperlukan untuk merumuskan persoalan yang tepat, mengevaluasi relevansi hasil, memeriksa kesalahan, dan menentukan kontribusi suatu temuan terhadap pengetahuan yang sudah ada.
Persoalan lain adalah pengakuan akademik. OpenAI menyatakan modelnya tidak akan mengambil kredit sebagai penulis akademik. Sebaliknya, ilmuwan yang memeriksa, menjelaskan, dan mengembangkan hasil tersebut dapat memperoleh pengakuan atas kontribusi mereka.
Pendekatan ini menjadi penting karena penelitian yang dibantu AI menimbulkan pertanyaan baru tentang kepengarangan, tanggung jawab atas kesalahan, transparansi metode, dan pembagian kredit ilmiah.
Menunggu Penilaian Komunitas Ilmiah
Tiga klaim OpenAI memperlihatkan potensi AI untuk membantu penelitian pada persoalan yang sangat teknis. Namun, besarnya dampak ilmiah baru dapat dinilai setelah bukti diperiksa secara independen dan hasilnya dipahami oleh komunitas terkait.
Untuk matematika dan ilmu komputer, tersedianya materi pembuktian memberikan kesempatan bagi peneliti lain untuk menguji klaim secara langsung. Sementara itu, klaim fisika masih membutuhkan keterbukaan materi dan penjelasan lebih lanjut dari kelompok yang meninjaunya.
Karena itu, perkembangan ini sebaiknya dipandang sebagai langkah penting dalam penelitian berbantuan AI, bukan sebagai kepastian bahwa tiga misteri ilmiah telah selesai tanpa perdebatan.
Jika pembuktian tersebut bertahan dalam pemeriksaan, hasilnya berpotensi menjadi kontribusi besar bagi ilmu pengetahuan. Namun, ukuran keberhasilan akhirnya bukan sekadar kemampuan AI menghasilkan jawaban, melainkan apakah bukti tersebut benar, dapat diverifikasi, dan memperluas pemahaman manusia terhadap dunia.
