Klaim besar, tetapi belum menjadi konsensus
Penemuan ilmiah AI adalah hasil atau pembuktian yang dibuat dengan bantuan kecerdasan buatan dan masih harus diuji melalui pemeriksaan ilmiah independen sebelum diterima sebagai pengetahuan yang mapan. OpenAI mengumumkan pada 26 Oktober 2026 bahwa modelnya menghasilkan tiga temuan di matematika, ilmu komputer, dan fisika—persoalan yang telah lama menantang para peneliti.
Klaim itu patut diperhatikan, tetapi belum layak dibaca sebagai tiga persoalan yang sudah resmi ditutup. OpenAI sendiri menyebut hasilnya masih memerlukan pemeriksaan independen. Perbedaan ini penting: keluaran model, betapapun rumitnya, bukan pengganti validasi atas metode, bukti, dan kesimpulan. Sebelumnya, perusahaan mengunggah 377 hasil matematika ke GitHub pada awal Oktober, memicu perdebatan tentang penggunaan model internal yang belum dirilis untuk riset. Kini dokumen pembuktian matematika dan ilmu komputer tersedia bagi peneliti independen, sementara akademisi diminta menelaahnya. Itu langkah yang tepat, tetapi ukuran keberhasilannya bukan banyaknya klaim, melainkan apakah pakar lain dapat memeriksa dan menerima argumennya.
Tiga bidang, tiga jenis klaim
Di matematika, OpenAI mengklaim menemukan pembuktian baru untuk local smoothing conjecture. Di ilmu komputer, klaimnya lebih mengguncang: AI disebut membantah Exponential Time Hypothesis (ETH), asumsi tentang tingkat kesulitan menyelesaikan masalah komputasi yang menjadi dasar ratusan penelitian selama sekitar 35 tahun. Jika benar, temuan itu dapat mendorong peneliti meninjau kembali hasil yang bergantung pada ETH. Namun, ini tidak otomatis menyelesaikan persoalan P versus NP.
Klaim ketiga berada di fisika partikel: pembuktian matematis tentang keberadaan teori medan kuantum dalam empat dimensi, termasuk Quantum Chromodynamics (QCD) dan teori Yang–Mills. Cakupan tersebut terdengar ambisius, tetapi klaim terkait Yang–Mills tidak berarti persoalan itu telah dinyatakan selesai oleh Clay Mathematics Institute. Dengan demikian, tiga hasil ini juga tidak sama jenisnya: ada konjektur matematika, hipotesis kompleksitas komputasi, dan persoalan matematis yang menopang teori fisika. Menyatukannya sebagai “AI memecahkan sains” berisiko menyamarkan pekerjaan verifikasi yang masih tersisa.
Apa arti pembuktian local smoothing
Salah satu masalah matematika yang paling jelas untuk ditelaah adalah local smoothing conjecture. Diperkenalkan Christopher Sogge pada 1991, dugaan ini berkaitan dengan perilaku gelombang ketika terfokus; secara sederhana, fokus gelombang yang sangat ekstrem diperkirakan hanya berlangsung singkat. OpenAI menyatakan modelnya membuktikan konjektur tersebut dalam semua dimensi. Perusahaan juga mengaitkan hasil itu dengan pembuktian Kakeya conjecture dan Stein’s restriction conjecture dalam cakupan yang sama.
Konteksnya membuat klaim ini menarik, tetapi juga menuntut pemeriksaan cermat. Sebelum pengumuman tersebut, local smoothing telah dibuktikan dalam dua dimensi pada 2019, sedangkan Kakeya baru terbukti dalam tiga dimensi pada 2025. OpenAI mengatakan hasil pembuktian local smoothing diperoleh pada 18 Oktober 2026 dan diformalkan dengan Lean sehari kemudian. Lean membantu memeriksa langkah-langkah formal berdasarkan aturan logika; penggunaannya memperkuat keterperiksaan, tetapi tidak dengan sendirinya memastikan bahwa metode, pemodelan, dan interpretasi matematisnya bebas dari masalah.
Verifikasi ilmiah adalah penentu
OpenAI melibatkan pakar eksternal untuk menguji klaimnya, termasuk Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams untuk hasil ETH. Untuk penelitian fisika, kelompok pemeriksa dipimpin David Gross, peraih Nobel Fisika 2004. Keterlibatan nama besar bukan stempel persetujuan; nilainya terletak pada pemeriksaan oleh orang yang mampu menguji asumsi dan langkah teknis, mengulang analisis, serta menunjukkan bagian yang perlu diperbaiki.
Karena itu, publikasi di GitHub dan penggunaan Lean sebaiknya dipandang sebagai pintu masuk bagi audit, bukan vonis akhir. Keabsahan ketiga temuan bergantung pada penilaian ilmuwan terhadap metode, bukti, dan kesimpulannya. Jika pemeriksaan independen mengukuhkan hasilnya, kontribusi AI OpenAI bisa menjadi dorongan besar bagi matematika, komputasi, dan fisika. Sampai saat itu, sikap paling masuk akal adalah menganggapnya sebagai klaim penelitian yang menjanjikan—bukan penemuan yang sudah diterima. Dalam sains, bukti yang dapat diuji lebih penting daripada siapa atau apa yang pertama kali menghasilkannya.
