Para ilmuwan yang ditunjuk OpenAI untuk memverifikasi klaim terbarunya bahwa salah satu model internalnya berhasil membantah Hipotesis Waktu Eksponensial menolak mendukung klaim tersebut. Mereka menyinggung kontroversi sebelumnya seputar pengumuman matematika dari laboratorium AI itu, yang menurut mereka cenderung dibesar-besarkan.

Hipotesis Waktu Eksponensial, yang diklaim telah dipecahkan oleh laboratorium yang dipimpin Altman, merupakan ukuran tingkat kesulitan dalam menyelesaikan masalah satisfiabilitas Boolean. Masalah ini berkaitan dengan pertanyaan P versus NP dan merupakan dugaan yang menjadi landasan ratusan makalah ilmu komputer.

Ryan Williams dari MIT dan Russell Impagliazzo serta Ramamohan Paturi dari UC San Diego akan memimpin kelompok yang bertanggung jawab untuk memverifikasi secara independen hasil pada hipotesis yang awalnya diajukan oleh Impagliazzo dan Paturi, bersama Francis Zane.

Komunitas matematika belum menerima klaim ETH OpenAI

Tiga peneliti yang memimpin kelompok yang memeriksa klaim tersebut menulis dalam surat terbuka kepada bidang mereka bahwa “keterlibatan mereka tidak boleh dianggap sebagai sertifikasi atas klaim tersebut,” sebelum menambahkan bahwa “hasil dengan signifikansi seperti ini memerlukan penelaahan yang cermat dan independen.”

Menulis di akun X-nya, Williams mengatakan bahwa kelompok itu tidak menandatangani perjanjian kerahasiaan (NDA) dan tidak akan dibayar untuk pekerjaan “penelaahan terbuka dan independen” yang diminta dari dirinya dan rekan-rekannya setelah “sebuah model internal di OpenAI menghasilkan bantahan yang diklaim terhadap ETH.”

Williams menambahkan bahwa OpenAI menyetujui permintaan mereka untuk mempublikasikan semua data mentah di balik hasil tersebut. Laboratorium AI itu juga setuju untuk mendanai sebuah konferensi tentang implikasinya.

Mengapa bidang ini tidak mendukung klaim OpenAI tanpa bukti

Klaim OpenAI sebelumnya di bidang matematika tidak berjalan sesuai rencana. Sebuah tim peneliti independen sedang memeriksa klaim OpenAI secara independen, bahkan setelah laboratorium tersebut memverifikasi bantahan yang ditemukan oleh model internal pada 16 Oktober di Lean pada hari berikutnya. Tulisan dan bukti Lean itu diposting ke GitHub.

Lean adalah bahasa yang memeriksa bukti secara mesin. Namun, bahkan metode itu telah dibantah oleh Anders Hansen dari Cambridge dan rekan-rekannya, yang berargumen dalam sebuah makalah bahwa formalisasi yang diverifikasi Lean dapat dikompilasi sambil gagal mencocokkan bukti bahasa alami yang seharusnya diwakilinya. Mereka menyebut pekerjaan Navier-Stokes OpenAI sebagai studi kasus.

Matematikawan yang mengelola situs masalah Erdős, Thomas Bloom, menanggapi klaim Wakil Presiden OpenAI Kevin Weil pada Oktober 2025 bahwa GPT-5 telah memecahkan 10 masalah Erdős yang sebelumnya belum terpecahkan, dengan menyebutnya “distorsi yang dramatis.”

Bloom menjelaskan bahwa model itu hanya memunculkan makalah yang sudah ada yang secara pribadi tidak ia ketahui, alih-alih menemukan solusi baru untuk konjektur terkenal yang diajukan oleh Paul Erdős.

Peristiwa itu memicu ejekan publik dari Yann LeCun dari Meta dan Demis Hassabis dari Google DeepMind.

OpenAI harus melakukan tiga penarikan kembali dalam sehari setelah merilis secara massal 722 preprint tentang 372 masalah matematika pada 6 Oktober karena kesalahan tanda yang membatalkan satu argumen dan dua makalah turunannya. Laboratorium AI itu merevisi 14 lainnya. Matematikawan Cornell Alex Townsend memperkirakan akan ada lebih banyak kesalahan yang diungkap seiring waktu.

Lalu datang drama Navier-Stokes pada bulan September, ketika matematikawan Tristan Buckmaster menuduh bahwa OpenAI menggunakan metode yang saat itu juga sudah ia dan seorang kolega sedang kerjakan ketika laboratorium AI itu mengatakan modelnya telah menyelesaikan masalah Navier-Stokes.

OpenAI membantah klaim itu.

Dua hasil lagi, tiga strategi rilis

ETH adalah salah satu dari tiga klaim yang dibuat OpenAI dalam pengumuman yang sama.

Dalam matematika, OpenAI mengatakan modelnya membuktikan konjektur local smoothing, yang diajukan Christopher Sogge pada 1991, dalam setiap dimensi, yang juga akan menyelesaikan konjektur Kakeya dan Stein restriction. Laboratorium itu merilis tulisan dan sebuah bukti Lean.

Dalam fisika, mereka mengatakan model-model itu membuktikan bahwa teori medan kuantum tertentu ada dalam empat dimensi, termasuk bagian dari masalah Hadiah Milenium Institut Matematika Clay. Sebuah kelompok yang dipimpin oleh peraih Nobel David Gross memilih untuk menahan materi AI itu untuk saat ini dan menulis sendiri pekerjaannya.

OpenAI mengatakan tidak sedang mencari kredit akademik dan telah memberikan $5 juta kepada Simons Foundation untuk lokakarya tentang hasil yang dihasilkan AI. Perusahaan itu mengakui bahwa masing-masing dari tiga pendekatan rilisnya memiliki kompromi dan mengatakan ingin masukan tentang apa yang berhasil.

Jangan hanya membaca berita kripto. Pahami isinya. Berlangganan buletin kami. Gratis.