OpenAI menyatakan model kecerdasan buatannya menghasilkan tiga penemuan di bidang matematika, ilmu komputer, dan fisika. Pengumuman itu disampaikan perusahaan melalui situs resminya pada 26 Oktober 2026.
Salah satu hasil yang paling berdampak berkaitan dengan Exponential Time Hypothesis atau ETH, hipotesis yang selama ini dipakai dalam ratusan makalah ilmiah. OpenAI menyebut sistem AI-nya menemukan pembuktian bahwa ETH salah, tetapi hasil tersebut masih melalui penelaahan ilmiah.
Perusahaan tidak menyatakan ketiga hasil itu telah menjadi kesimpulan akhir yang sepenuhnya diterima komunitas akademik. OpenAI membuka sebagian materi pembuktian dan melibatkan para ahli untuk memeriksa ketepatan metode serta hasilnya.
Pembuktian Konjektur Local Smoothing
Temuan matematika OpenAI berfokus pada local smoothing conjecture, persoalan yang diajukan pada 1991. Konjektur ini membahas perilaku gelombang saat mengalami pemfokusan, termasuk dugaan bahwa pemfokusan paling ekstrem hanya terjadi dalam waktu singkat.
Menurut OpenAI, AI-nya berhasil membuktikan konjektur tersebut dalam semua dimensi. Sebelumnya, pembuktian local smoothing conjecture baru tersedia untuk dua dimensi spasial pada 2019.
Pembuktian itu juga berhubungan dengan Kakeya conjecture dan Stein’s restriction conjecture. OpenAI menyatakan hasil untuk local smoothing pada semua dimensi sekaligus membuktikan dua konjektur terkait tersebut di semua dimensi.
Kakeya conjecture sendiri baru berhasil dibuktikan dalam tiga dimensi pada 2025. OpenAI memperoleh hasil pembuktian local smoothing conjecture pada 18 Oktober 2026, lalu memformalkannya sehari kemudian dengan Lean.
Lean merupakan sistem untuk memeriksa setiap langkah pembuktian matematika berdasarkan aturan logika. Penggunaan sistem ini memungkinkan struktur pembuktian diuji secara formal, bukan hanya ditelaah melalui penalaran tertulis biasa.
Implikasi bagi Exponential Time Hypothesis
Temuan kedua menyasar ETH, hipotesis yang digunakan untuk memperkirakan tingkat kesulitan masalah komputasi. ETH menjadi salah satu landasan penelitian di sejumlah bidang, termasuk teori graf dan biologi komputasi.
Jika pembuktian yang diajukan OpenAI benar, sejumlah kesimpulan penelitian yang menggunakan ETH perlu ditinjau kembali. Untuk mengkaji hasil ini, OpenAI melibatkan Russell Impagliazzo dan Ramamohan Paturi dari University of California, San Diego, serta Ryan Williams dari Massachusetts Institute of Technology.
Impagliazzo dan Paturi, bersama Francis Zane, merupakan pengusul ETH. Keterlibatan mereka menjadi bagian dari proses pemeriksaan independen terhadap klaim pembuktian yang dihasilkan AI OpenAI.
Teori Medan Kuantum dan Yang-Mills
Di bidang fisika, OpenAI menyatakan AI-nya menghasilkan bukti matematis mengenai eksistensi sejumlah teori medan kuantum yang saling berinteraksi. Salah satu teori yang disebut adalah kromodinamika kuantum atau quantum chromodynamics dalam empat dimensi.
Kromodinamika kuantum menjelaskan interaksi kuark dan gluon melalui gaya kuat. Kuark merupakan partikel penyusun proton dan neutron, sedangkan gluon membawa gaya kuat yang mengikat kuark.
Penelitian itu juga mencakup bukti eksistensi teori Yang-Mills murni sebagai submasalah. Teori tersebut terkait dengan persoalan Hadiah Milenium Clay Mathematics Institute mengenai teori kuantum Yang-Mills, meski OpenAI tidak menyatakan telah memecahkan bagian celah massa atau mass gap.
Untuk menelaah hasil fisika tersebut, OpenAI menggandeng kelompok ilmuwan yang dipimpin David Gross bersama Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov. Pembuktian matematika dan ilmu komputer telah dirilis terbuka, sedangkan penjelasan temuan fisika masih disusun kelompok ilmuwan sebelum materi AI dipublikasikan.
