OpenAI Mendakwa Tiga Penemuan Saintifik, Penyelidik Bebas Mula Menilai

Tiga dakwaan meletakkan penyelidikan berdekad-dekad di bawah penelitian

OpenAI mengumumkan pada 26 Oktober 2026 bahawa model AInya telah menghasilkan bukti yang menangani tiga masalah lama dalam matematik, sains komputer dan fizik, termasuk mencabar hipotesis pengkomputeran yang digunakan dalam ratusan kertas penyelidikan. Syarikat itu telah menerbitkan bahan matematik dan pengkomputerannya, manakala sebuah kumpulan yang diketuai pemenang Nobel fizik David Gross akan meneliti kajian fizik itu sebelum menerbitkan penjelasannya sendiri.

Dakwaan pengkomputeran itu berkaitan Exponential Time Hypothesis (ETH), yang dicadangkan pada 1999. OpenAI berkata modelnya menemukan algoritma yang bercanggah dengan hipotesis tersebut dengan menyelesaikan keluarga tertentu masalah logik lebih pantas daripada yang dibenarkan hipotesis itu. Dua penyelidik yang membantu mencadangkan ETH, Russell Impagliazzo dan Ramamohan Paturi, akan mengetuai penilaian bebas bersama profesor MIT Ryan Williams.

Dalam matematik, syarikat itu mendakwa telah membuktikan konjektur pelicinan setempat Christopher Sogge, yang dicadangkan pada 1991, bagi persamaan gelombang Euclid dalam setiap dimensi ruang sekurang-kurangnya dua. OpenAI berkata hujah itu turut menghasilkan keputusan berkaitan konjektur Kakeya dan konjektur sekatan Stein, yang menghubungkan pergerakan gelombang dengan persoalan sukar tentang geometri dan frekuensi.

Dakwaan fizik itu berkaitan kewujudan matematik bagi teori medan kuantum berinteraksi tertentu dalam empat dimensi, termasuk kromodinamik kuantum (QCD), yang menerangkan interaksi antara kuark dan gluon. OpenAI turut berkata kajian itu merangkumi teori Yang-Mills tulen dan satu penyempurnaan bersatu tertentu bagi Model Piawai fizik zarah.

Penilaian bebas ialah langkah seterusnya bagi ketiga-tiga projek. Penyelidik akan meneliti hujah, andaian dan pernyataan matematik tepat yang ditangani. Pengumuman itu tidak menetapkan tarikh akhir untuk menyelesaikan penilaian atau menerbitkan bahan fizik yang belum didedahkan.

Apa yang didakwa dapat dijelaskan oleh bukti gelombang itu

Konjektur pelicinan setempat Sogge berkaitan sejauh mana gelombang boleh tertumpu ketika bergerak. Gelombang boleh menjadi sangat tertumpu pada waktu tertentu. Konjektur itu menghuraikan had matematik terhadap penumpuan tersebut apabila kelakuannya diukur dalam suatu tempoh masa.

Bayangkan anda memerhatikan gelombang melalui satu siri foto, bukannya menilainya berdasarkan bingkai yang paling dramatik. Satu imej mungkin menunjukkan puncak yang kuat, sementara siri foto itu mendedahkan betapa singkatnya puncak tersebut bertahan. Ahli matematik menyatakan hubungan ini melalui anggaran bagi penyelesaian persamaan gelombang, iaitu persamaan yang digunakan untuk menerangkan cara gelombang bergerak.

OpenAI berkata hujahnya memperkenalkan persamaan pembezaan separa bantu yang baharu. Persamaan sedemikian menerangkan bagaimana kuantiti berubah merentasi ruang dan masa; persamaan bantu berfungsi sebagai alat tambahan untuk mengkaji masalah asal. Syarikat itu berkata pendekatan ini menetapkan anggaran yang dikehendaki bagi setiap dimensi ruang sekurang-kurangnya dua.

Skop yang didakwa itu meluaskan satu pencapaian besar terdahulu. Larry Guth, Hong Wang dan Ruixiang Zhang membuktikan pelicinan setempat dalam dua dimensi ruang pada 2019. Pengumuman OpenAI berkenaan hujah umum yang merangkumi dimensi lebih tinggi juga, bukannya satu lagi keputusan yang terbatas pada satu dimensi.

Bagaimana geometri dan frekuensi berkaitan dengan dakwaan itu

Masalah Kakeya bertanya sekecil mana suatu set yang mengandungi segmen garis sepanjang satu unit dalam setiap arah boleh menjadi. Kesukarannya berpunca daripada perbezaan antara isi padu biasa dengan dimensi matematik. Sesuatu set boleh memenuhi isi padu yang sangat kecil sambil mengekalkan struktur rumit yang diukur ahli matematik melalui dimensi.

Hong Wang dan Joshua Zahl membuktikan keputusan besar tentang konjektur Kakeya dalam tiga dimensi pada 2025. OpenAI berkata hujah gelombang baharunya menghasilkan kedua-dua konjektur maksimum Kakeya dan konjektur dimensi Kakeya merentasi pelbagai dimensi, sekali gus memperluas skopnya jauh melangkaui pencapaian terdahulu itu jika bukti tersebut lulus penilaian.

Konjektur sekatan Stein tergolong dalam rangkaian masalah yang sama. Ia berkaitan cara maklumat frekuensi berkelakuan apabila dihadkan pada permukaan melengkung. Huraian terperinci OpenAI mendakwa anggaran sekatan sfera sepanjang bahagian dalam julat yang dikonjekturkan. Perumusan itu menentukan julat anggaran yang perlu diteliti penyelidik ketika menilai dakwaan lebih luas tentang konjektur Stein.

Mengapa keputusan pengkomputeran itu penting

Exponential Time Hypothesis berkaitan kebolehpuasan Boolean, iaitu masalah yang dibina daripada pemboleh ubah yang boleh bernilai benar atau palsu. Sesuatu formula menetapkan peraturan untuk menggabungkan pemboleh ubah tersebut, dan tugasnya adalah menentukan sama ada terdapat sebarang penetapan nilai yang memenuhi setiap peraturan.

Dalam 3-SAT, setiap klausa mengandungi paling banyak tiga sebutan. Sesuatu klausa mungkin mensyaratkan sekurang-kurangnya satu daripada tiga pernyataan benar, manakala formula keseluruhan mensyaratkan setiap klausa dipenuhi. Apabila bilangan pemboleh ubah meningkat, bilangan penetapan yang mungkin berganda bagi setiap pemboleh ubah tambahan: 10 pemboleh ubah membolehkan 1,024 penetapan, manakala 20 membolehkan 1,048,576.

ETH menyatakan bahawa dalam kes paling buruk, penyelesaian 3-SAT memerlukan masa yang meningkat secara eksponen mengikut bilangan pemboleh ubah. Impagliazzo, Paturi dan Francis Zane membantu merumuskan hipotesis itu pada 1999. Sejak itu, penyelidik menggunakannya sebagai andaian untuk menjelaskan mengapa banyak masalah dalam teori graf, biologi pengkomputeran, pangkalan data dan geometri pengkomputeran sukar diselesaikan dengan lebih pantas.

Dakwaan OpenAI lebih khusus daripada janji umum tentang pengkomputeran yang lebih pantas. Syarikat itu berkata modelnya menghasilkan algoritma deterministik yang mengira dengan tepat bilangan penetapan memuaskan bagi formula dalam bentuk normal konjungtif dengan lebar klausa tetap. Bentuk normal konjungtif bermaksud susunan klausa yang semuanya mesti dipenuhi; lebar tetap menetapkan had malar pada bilangan sebutan dalam setiap klausa.

Algoritma yang didakwa itu menggunakan masa subeksponen dan ruang polinomial. Pertumbuhan subeksponen lebih perlahan berbanding pertumbuhan eksponen yang disyaratkan ETH bagi 3-SAT. Ruang polinomial bermaksud keperluan memorinya dihadkan oleh kuasa tetap saiz input. Pengiraan bilangan penetapan memuaskan juga menjawab persoalan kewujudan yang lebih mudah: bilangan melebihi sifar bermakna formula itu boleh dipuaskan.

Perkara yang perlu dipastikan penyelidik tentang algoritma itu

Ratusan kertas menggunakan ETH untuk membuat kesimpulan bersyarat tentang had algoritma. Kesimpulannya lazimnya berbentuk: jika ETH benar, masalah tertentu tidak boleh diselesaikan dalam had masa yang ditetapkan. Sanggahan yang diterima akan memerlukan penyelidik menilai semula andaian yang menyokong had tersebut.

Pengkomputeran praktikal merupakan satu lagi perkara yang perlu dikaji. Penyelidik perlu memahami pemalar algoritma itu, keperluan pelaksanaannya dan kelakuannya pada input bersaiz berguna. Kadar pertumbuhan matematik yang lebih baik masih boleh memerlukan masa pengkomputeran yang besar, khususnya bagi saiz masalah yang ditemui dalam aplikasi sebenar.

P berbanding NP mengemukakan persoalan yang berbeza: sama ada setiap masalah yang jawapan cadangannya boleh disemak dengan cekap juga boleh diselesaikan dengan cekap. Dalam konteks itu, cekap lazimnya bermaksud masa polinomial. Algoritma subeksponen tergolong dalam kategori yang lebih luas, jadi penilaian akan menumpukan pada kelajuan tepat yang didakwa dan kesannya terhadap ETH.

Impagliazzo dan Paturi, kedua-duanya di Universiti California, San Diego, serta Williams akan menyelaraskan penilaian bebas itu. Dalam surat terbuka kepada komuniti penyelidikan, ketiga-tiga ahli sains komputer itu menjelaskan penelitian teliti yang diperlukan:

Penglibatan kami tidak seharusnya dianggap sebagai pengesahan terhadap dakwaan itu. Keputusan yang begitu penting memerlukan penelitian yang teliti dan bebas,

Fizik meneliti asas teori zarah

Teori medan kuantum menerangkan zarah dan interaksinya melalui medan yang tersebar merentasi ruang dan masa. Dakwaan fizik OpenAI berkaitan teori berinteraksi yang mengandungi medan tolok dan fermion dalam empat dimensi, yang lazimnya difahami sebagai tiga dimensi ruang dan satu dimensi masa.

QCD menerangkan interaksi kuat antara kuark dan gluon. Kuark ialah juzuk proton dan neutron, manakala gluon membawa daya kuat. Ahli fizik sudah menggunakan QCD untuk menerangkan kelakuan yang diperhatikan. Tugas matematik di sini ialah membina teori itu dengan ketat dan menetapkan bahawa objek yang mentakrifkannya wujud dalam keadaan yang tepat.

OpenAI berkata kajian itu dibina berasaskan pendekatan yang dikembangkan Tadeusz Balaban dalam teori medan kuantum konstruktif. Bidang ini berusaha membina teori kuantum secara terkawal dari segi matematik, sekali gus menyediakan asas bagi kuantiti yang dikira ahli fizik.

Teori Yang-Mills tulen turut termasuk dalam dakwaan itu. Masalah Kewujudan Yang-Mills dan Jurang Jisim Clay Mathematics Institute memerlukan pembinaan yang ketat serta jurang jisim positif, iaitu tenaga positif minimum yang memisahkan vakum daripada eksitasi paling ringan. Keputusan yang diumumkan OpenAI menangani kewujudan; syarat jurang jisim masih merupakan bahagian seterusnya dalam masalah hadiah itu.

Gross, yang menerima Hadiah Nobel dalam Fizik pada 2004, akan mengetuai kumpulan fizik itu. Ahli kumpulan yang lain ialah Michael Douglas, Arthur Jaffe, Igor Klebanov dan Nikita Nekrasov. Atas permintaan kumpulan itu, bahan AI tidak akan didedahkan sementara para penyelidik menyediakan huraian mereka sendiri tentang kajian tersebut.

Urutan daripada hasil model hingga pengumuman

OpenAI meletakkan penemuan yang didakwa itu antara September dengan Oktober 2026. Urutan ini membezakan penghasilan hujah bertulis daripada pemformalan seterusnya dalam Lean, iaitu sistem yang menyemak bukti yang dinyatakan dalam bahasa matematik yang tepat.

• 9 September: Model itu menghasilkan bukti kewujudan teori Yang-Mills tulen yang didakwa.
• 18 September: Model itu menghasilkan bukti QCD yang didakwa.
• 6 Oktober: OpenAI menerbitkan 722 manuskrip matematik dalam keluaran penyelidikan terdahulu.
• 16 Oktober: Model itu menghasilkan sanggahan ETH, dan bukti kewujudan Yang-Mills selesai diformalkan dalam Lean.
• 17 Oktober: Hujah ETH selesai diformalkan dalam Lean.
• 18 Oktober: Model itu menghasilkan hujah pelicinan setempat.
• 19 Oktober: Hujah matematik itu selesai diformalkan dalam Lean.
• 26 Oktober: OpenAI mengumumkan tiga projek tersebut serta aturan penilaiannya.

Penulisan dan bahan bukti formal bagi matematik dan sains komputer diterbitkan kepada umum melalui GitHub. Kumpulan fizik memilih urutan berbeza, dengan penjelasannya diterbitkan sebelum bahan AI yang mendasarinya didedahkan.

Peranan semakan formal dalam penilaian saintifik

Lean membolehkan sesuatu bukti ditulis sebagai rangkaian pernyataan tepat yang disemak perisian berdasarkan takrif dan peraturan logik. Ini membolehkan penaakulan rumit diperiksa dengan tahap perincian yang sukar dikekalkan dalam prosa biasa.

Penilai manusia turut meneliti bagaimana takrif formal sepadan dengan persoalan penyelidikan asal, andaian yang digunakan dalam bukti dan kaitan keputusannya dengan kajian terdahulu. Bagi dakwaan pengkomputeran, ini termasuk memahami algoritma dan masa pelaksanaannya. Bagi dakwaan gelombang, ia merangkumi dimensi dan julat anggaran yang diliputi.

OpenAI menyifatkan hasil model itu sebagai data penyelidikan mentah yang perlu ditukar menjadi pemahaman saintifik. Tiga aturan penerbitannya meletakkan tugas itu dengan cara berbeza: penelitian terbuka bagi matematik, kumpulan tersusun di samping akses umum bagi sains komputer, dan penjelasan awal oleh kumpulan terpilih bagi fizik.

Williams berkata penilai pengkomputeran tidak menandatangani sebarang perjanjian kerahsiaan dan tidak akan menerima bayaran. OpenAI bersetuju dengan permintaan mereka untuk menerbitkan data ETH mentah dan membiayai persidangan bagi membolehkan penyelidik meneliti dakwaan itu. Peserta luar bebas membuat dan menerbitkan kesimpulan secara bebas daripada syarikat tersebut.

Akses, pembiayaan dan pengiktirafan menjadi sebahagian perdebatan

Pengumuman OpenAI menyusuli kritikan terhadap penerbitan ratusan manuskrip matematiknya yang terdahulu serta usaha yang diperlukan untuk menilainya. Aturan baharu itu melibatkan ahli akademik yang dinamakan, namun turut mencetuskan perdebatan tentang pihak yang mendapat akses terlebih dahulu.

Panel penasihat matematik AGMAI OpenAI mengesyorkan agar penyelidik terpilih tidak diberikan akses awal kepada hasil AI. Kebimbangannya termasuk akses yang tidak setara, bias pemilihan dan kemungkinan reputasi penyelidik ternama memberi kredibiliti kepada kajian sebelum penilaiannya selesai.

Panel itu mengesyorkan agar hasil diterbitkan melalui repositori ilmiah, termasuk pemformalan dalam Lean dan maklumat tentang cara masalah dipilih. Panel itu turut menyeru sokongan untuk penyelidik yang menyemak dan menjelaskan hasil tersebut. Perbezaan dengan bahan fizik yang belum didedahkan menjadikan akses isu nyata dalam pengumuman ini.

OpenAI berkata syarikat itu tidak menuntut pengiktirafan akademik atas penemuan tersebut dan mahu penyelidik menerima pengiktirafan atas penjelasan yang mereka hasilkan. Surat para penilai pengkomputeran mempersoalkan bagaimana pengiktirafan patut mengambil kira penemuan bersama usaha menyemak, membaiki, memudahkan, menjelaskan dan mengembangkan sesuatu keputusan. Surat itu turut mempersoalkan cara menyokong pelajar dan penyelidik apabila kaedah penyelidikan berubah.

Sumbangan bernilai $5 juta kepada Simons Foundation yang diumumkan sebelum ini bertujuan menyokong bengkel, persidangan dan program penyelidikan berkaitan hasil AI. Pembiayaan aktiviti tersebut akan membantu meluaskan usaha penilaian melangkaui kumpulan kecil yang dinamakan dalam pengumuman itu.

Perkara Utama

• OpenAI mengumumkan tiga penemuan besar yang didakwa pada 26 Oktober 2026. Penilaian bebas masih diperlukan.
• Dakwaan matematik itu merangkumi pelicinan setempat dalam setiap dimensi ruang sekurang-kurangnya dua, serta keputusan Kakeya dan sekatan tambahan yang turut didakwa.
• Dakwaan pengkomputeran itu mengemukakan algoritma yang akan menyangkal Exponential Time Hypothesis jika disahkan.
• Russell Impagliazzo, Ramamohan Paturi dan Ryan Williams mengetuai penilaian bebas ETH.
• David Gross mengetuai penilaian fizik, yang merangkumi bukti kewujudan yang didakwa termasuk QCD dan teori Yang-Mills tulen.
• Bahan matematik dan pengkomputeran tersedia kepada umum. Bahan fizik belum didedahkan sementara penyelidik menyediakan penjelasan.
• Tiada tarikh akhir diumumkan untuk menyelesaikan penilaian atau menerbitkan bahan fizik.