Semua tulisan

Umum 27 Oktober 2026· AI, OpenAI, Riset AI, Matematika, Ilmu Komputer, Fisika, Verifikasi Ilmiah

OpenAI Klaim AI-nya Patahkan Hipotesis Waktu Eksponensial: Tiga Temuan Sains yang Kini Diuji Pakar

OpenAI mengumumkan tiga temuan buatan AI di matematika, ilmu komputer, dan fisika, termasuk klaim bahwa Exponential Time Hypothesis salah. Apa isinya, bagaimana cara rilisnya, dan mengapa para pakar meminta kita menunggu verifikasi independen?

Senin, 26 Oktober 2026, OpenAI mengumumkan tiga hasil riset sekaligus di bidang matematika, ilmu komputer, dan fisika. Menurut OpenAI, ketiganya dihasilkan oleh model AI internal mereka. Yang paling ramai dibicarakan adalah klaim di bidang ilmu komputer: Exponential Time Hypothesis (ETH), dugaan yang selama ini diyakini benar oleh banyak ilmuwan, disebut terbukti salah.

Pengumuman ini cepat menyebar di X, salah satunya lewat unggahan peneliti OpenAI Dan Roberts. Klaimnya memang besar, tetapi semuanya masih harus diperiksa para ahli. Berikut ringkasan isinya, cara OpenAI merilisnya, dan hal-hal yang belum pasti.

Tiga klaim dalam satu pengumuman

1. Matematika: dugaan local smoothing. Pada 1991, matematikawan Christopher Sogge mengajukan dugaan tentang perilaku gelombang ketika memusat. Intinya, pemusatan paling ekstrem hanya berlangsung sangat singkat. Dugaan ini sebelumnya baru terbukti untuk dua dimensi ruang (Guth, Wang, dan Zhang, 2019). OpenAI menyatakan modelnya menghasilkan bukti untuk semua dimensi. Jika benar, hasil ini juga menyelesaikan dugaan Kakeya dan dugaan restriksi Stein di semua dimensi. Bukti ini berupa tulisan bahasa alami yang dihasilkan model ditambah formalisasi di Lean, perangkat lunak yang memeriksa langkah-langkah bukti secara mekanis. Keduanya sudah dirilis di GitHub.

2. Ilmu komputer: ETH disebut salah. ETH adalah dugaan tentang seberapa sulit soal satisfiability (SAT), yaitu mencari nilai benar/salah yang membuat sebuah rumus logika terpenuhi. Masalah ini berkaitan erat dengan pertanyaan terkenal P vs NP. Menurut OpenAI, ETH sudah dipakai di ratusan makalah untuk menunjukkan bahwa berbagai masalah di teori graf, biologi komputasi, basis data, dan geometri komputasi "pasti sulit". Makalah yang dirilis menggambarkan algoritma deterministik yang menghitung solusi rumus CNF berlebar tetap dalam waktu subeksponensial. Untuk kasus 3-SAT, hasil ini berarti ETH tidak berlaku. OpenAI menyebut modelnya menemukan bukti ini pada 16 Oktober, lalu bukti itu diformalkan di Lean sehari kemudian.

3. Fisika: keberadaan teori medan kuantum. OpenAI mengklaim modelnya menghasilkan bukti matematis yang ketat bahwa teori medan kuantum tertentu benar-benar ada dalam empat dimensi, termasuk kromodinamika kuantum (QCD), teori yang menjelaskan gaya kuat antara quark dan gluon. Sebagai bagian dari bukti itu, ada pembuktian keberadaan teori Yang–Mills murni, yang terkait dengan salah satu soal Millennium Prize dari Clay Mathematics Institute. Materi fisika ini belum dirilis ke publik.

Cara baru merilis temuan AI

Bagian yang juga menarik adalah cara OpenAI merilisnya. Mereka menganggap naskah keluaran AI sebagai "data riset mentah". Untuk mengubahnya menjadi pemahaman ilmiah, OpenAI meminta pakar dari luar perusahaan menjadi shepherd (pendamping) untuk tiap temuan:

  • Ilmu komputer: kelompok yang dipimpin Russell Impagliazzo dan Ramamohan Paturi (UC San Diego) serta Ryan Williams (MIT). Impagliazzo dan Paturi, bersama Francis Zane, adalah pengusul asli ETH.
  • Fisika: kelompok yang dipimpin peraih Nobel Fisika David Gross, bersama Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov. Kelompok ini memilih menunda rilis materi AI dan akan menuliskannya sendiri.
  • Matematika: keluaran AI langsung dirilis agar peneliti bebas menelaahnya.

OpenAI menyatakan tidak meminta kredit akademik atas temuan tersebut. Para pakar ikut secara sukarela, tidak dibayar, dan tidak menandatangani perjanjian kerahasiaan. OpenAI juga menyebut kontribusi US$5 juta kepada Simons Foundation untuk lokakarya dan konferensi yang membahas hasil riset buatan AI.

Keterbatasan dan konteks

Sebelum menganggap ini terobosan yang sudah pasti, ada beberapa hal penting:

  • Belum ada verifikasi independen. Impagliazzo, Paturi, dan Williams menulis bahwa keterlibatan mereka bukan sertifikasi atas klaim tersebut. Menurut mereka, hasil sepenting ini membutuhkan pemeriksaan independen yang cermat.
  • Lean membantu, tetapi tidak menjawab semuanya. Pemeriksa bukti formal memastikan setiap langkah logika sah. Namun para ahli tetap perlu memastikan bahwa pernyataan yang diformalkan benar-benar sama dengan dugaan yang dimaksud, dan memahami mengapa bukti itu berhasil.
  • Materi fisika belum bisa diperiksa publik. Klaim tentang QCD dan Yang–Mills saat ini baru bersumber dari OpenAI.
  • Dampak praktis belum langsung terasa. OpenAI sendiri menyebut bahwa menemukan algoritma yang lebih cepat dan mengubah kemajuan teori menjadi manfaat praktis masih butuh banyak riset lanjutan. Tidak ada aplikasi yang tiba-tiba menjadi lebih cepat karena pengumuman ini.
  • Pertanyaan soal kredit. Para peneliti juga mempertanyakan bagaimana pengakuan ilmiah seharusnya diberikan ketika AI menemukan hasil lebih dulu. Kekhawatiran serupa sudah disuarakan komunitas matematika beberapa bulan terakhir.

Bagi pembaca di Indonesia, berita ini memberi gambaran ke mana AI bergerak: dari sekadar menjawab pertanyaan menjadi alat yang ikut menghasilkan pengetahuan baru. Di sisi lain, peran manusia untuk memeriksa, memahami, dan menjelaskan hasilnya justru semakin penting.

Coba di Sumber AI

Istilah seperti ETH, 3-SAT, atau teori Yang–Mills memang tidak mudah dipahami. Anda bisa memakai Sumber AI untuk membantu: minta penjelasan konsep yang rumit dengan bahasa sederhana lewat chat dalam bahasa Indonesia, simpan catatan bacaan Anda di jurnal, atau buat ilustrasi pendukung materi belajar di Studio. Seperti para ilmuwan dalam berita ini, tetap biasakan memeriksa ulang informasi penting ke sumber aslinya.

Sumber

  • OpenAI, "Working with academic communities to build scientific understanding" (26 Oktober 2026): https://openai.com/index/building-scientific-understanding-with-academic-communities/
  • The Next Web, "OpenAI says its AI model has disproved the Exponential Time Hypothesis" (26 Oktober 2026): https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills
  • The Verge, "OpenAI announces three big science discoveries and a new way to work with academics": https://www.theverge.com/ai-artificial-intelligence/1019143/openai-eth-kaseya-science-math-physics
  • Unggahan Dan Roberts (OpenAI) di X: https://x.com/danintheory/status/2114833682469122314
  • Ringkasan topik di X: https://x.com/i/trending/2114840848353656891

Tulisan lain