Aturan

Pada 26 Oktober 2026, OpenAI mengumumkan bahwa sistem AI-nya "membuktikan bahwa ETH salah, sebuah hasil yang kemudian diverifikasi dalam Lean". (lihat: https://openai.com/index/building-scientific-understanding-with-academic-communities/) Pasar ini akan diselesaikan menjadi "Ya" jika sanggahan terhadap Exponential Time Hypothesis dikonfirmasi melalui setidaknya salah satu metode konfirmasi yang memenuhi syarat dan tercantum di bawah ini sebelum tanggal yang ditentukan, 23.59 ET. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". "Exponential Time Hypothesis" merujuk pada dugaan yang dirumuskan oleh Russell Impagliazzo dan Ramamohan Paturi bahwa masalah 3-SAT tidak dapat diselesaikan dalam waktu subeksponensial. "Sanggahan" merujuk pada bukti matematis apa pun bahwa Exponential Time Hypothesis salah, termasuk bukti yang disajikan dalam makalah OpenAI berjudul "The Exponential Time Hypothesis is False" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) serta versi apa pun yang telah dikoreksi, direvisi, atau diperluas, baik oleh OpenAI maupun pihak lain. Konfirmasi yang hanya menetapkan hasil yang lebih lemah, seperti algoritme yang lebih cepat tetapi tidak menyangkal Exponential Time Hypothesis, atau yang hanya menetapkan bahwa kode Lean OpenAI berhasil dikompilasi, tidak memenuhi syarat. Metode konfirmasi yang memenuhi syarat adalah: (i) Publikasi yang ditelaah sejawat: makalah yang menyajikan sanggahan, baik ditulis oleh OpenAI maupun peneliti lain, diterbitkan atau diterima untuk diterbitkan oleh jurnal ilmiah bereputasi yang ditelaah sejawat atau konferensi yang ditelaah sejawat (misalnya, STOC, FOCS, SODA). Pracetak dan publikasi lain yang belum menyelesaikan proses telaah sejawat tidak akan memenuhi syarat. (ii) Verifikasi independen: kelompok penelaah yang dipimpin oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams, salah satu dari ketiga peneliti tersebut, atau peneliti maupun kelompok riset kredibel lainnya yang tidak berafiliasi dengan OpenAI, secara terbuka mengonfirmasi bahwa suatu sanggahan benar. Konfirmasi tersebut harus menyatakan tanpa syarat bahwa sanggahan itu benar atau bahwa Exponential Time Hypothesis salah (misalnya, bahwa buktinya telah diperiksa dan dinyatakan benar), serta harus diterbitkan oleh peneliti atau kelompok yang melakukan verifikasi, atau para anggotanya, termasuk melalui makalah, pracetak, situs web, blog, atau akun media sosial resmi; konfirmasi yang hanya disampaikan oleh OpenAI tidak memenuhi syarat. Konfirmasi dapat didasarkan pada penelaahan bukti tertulis, formalisasi Lean, atau keduanya; konfirmasi yang didasarkan pada formalisasi Lean memenuhi syarat jika menyatakan bahwa hasil yang diformalkan membuktikan bahwa Exponential Time Hypothesis salah. Pernyataan bahwa penelaahan masih berlangsung, bahwa sejauh ini belum ditemukan kesalahan, atau bahwa sanggahan tampaknya mungkin benar tidak memenuhi syarat. Konfirmasi yang diterbitkan atau diumumkan kepada publik setelah tanggal yang ditentukan tidak akan dipertimbangkan, meskipun penelaahan yang mendasarinya berlangsung sebelumnya. Karyawan, kontraktor, dan investor OpenAI dianggap berafiliasi dengan OpenAI. Kelompok penelaah yang dipimpin oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams, serta para anggotanya, tidak akan dianggap berafiliasi dengan OpenAI. Pernyataan kelompok penelaah bahwa keterlibatannya tidak boleh dianggap sebagai sertifikasi atas klaim tersebut tidak akan menghalangi konfirmasi berikutnya yang memenuhi syarat dari kelompok atau anggotanya untuk diperhitungkan dalam penyelesaian. Pernyataan, unggahan media sosial, atau siaran pers oleh OpenAI atau afiliasinya, laporan media yang hanya meneruskan klaim tersebut, serta formalisasi Lean yang diterbitkan OpenAI tidak memenuhi syarat jika berdiri sendiri. Sumber penetapan hasil pasar ini adalah konsensus dari sumber tepercaya dan pakar ilmiah terkait yang memverifikasi keabsahan konfirmasi yang memenuhi syarat.

Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.