OpenAI Mengumumkan 3 Terobosan Ilmiah pada 2026: Matematik, Sains Komputer dan Fizik

OpenAI Mengumumkan 3 Terobosan Ilmiah pada 2026: Matematik, Sains Komputer dan Fizik

Gambar Khusus
Pada 26 Oktober 2026, dalam satu penerbitan penyelidikan berjudul Working with academic communities to build scientific understanding, OpenAI mengungkap bahawa model penalaran dalamannya menghasilkan tiga bukti teori utama yang merangkumi matematik asas, sains komputer teori, dan fizik matematik. Jika disahkan oleh komuniti saintifik yang lebih luas, dapatan ini mewakili evolusi ketara dalam kecerdasan buatan: bergerak melampaui pengiktirafan corak empirikal dan penghasilan kod ke arah penalaran deduktif berlangkah banyak dan penemuan teori.
 
Daripada memperlakukan naskah yang dihasilkan mesin ini sebagai konsensus ilmiah yang tetap, OpenAI memperkenalkan kerangka kerja pengesahan eksperimen yang disokong oleh sumbangan $5 juta kepada Simons Foundation. Melalui pendekatan yang digambarkan sebagai "gembala akademik", OpenAI sedang menguji tiga laluan pengungkapan yang berbeza—menghasilkan dari pelepasan GitHub awam terus dengan formalisasi Lean hingga kumpulan kerja bebas yang dipimpin oleh peneraju bidang.
 
Dalam ketiga-tiga pengumuman itu, OpenAI menyatakan bahawa model-modelnya menghasilkan bukti bagi konjektur penghalusan tempatan Sogge dalam analisis harmonik, penyangkalan deterministik bagi Hipotesis Masa Eksponen (ETH) dalam kerumitan pengiraan, dan bukti wujud matematik yang ketat bagi teori medan kuantum berinteraksi empat dimensi (QFT), termasuk Kromodinamik Kuantum (QCD).
 
Analisis ini mengkaji konsep asas di sebalik setiap tuntutan dalam istilah yang mudah, mengkaji mengapa pengesahan formal Lean dan teori kerumitan penting untuk landskap keselamatan mata wang kripto dan Web3, serta menilai prinsip tadbir urus yang memandu ulasan akademik bebas.
 

Terobosan 1: Analisis Harmonik dan Konjektur Pemhalusan Tempatan Sogge

Keputusan pertama membahas masalah terbuka utama dalam analisis harmonik Euclidean: konjektur penghalusan tempatan untuk persamaan gelombang, yang dicadangkan oleh ahli matematik Christopher Sogge pada tahun 1991.
 
Dalam istilah yang mudah, persamaan gelombang memodelkan bagaimana riak, seperti gelombang bunyi, gelombang cahaya, atau ombak laut, merambat melalui ruang dan masa. Apabila beberapa gelombang bertindih, mereka boleh saling menguatkan untuk menciptakan lonjakan tenaga yang tajam dan terkumpul. Ahli matematik telah menghabiskan lebih daripada tiga dekad cuba membuktikan peraturan matematik yang ketat yang mengawal seberapa kuat gelombang boleh terkumpul dan bagaimana purata tingkah laku mereka dalam jendela masa yang singkat "menghaluskan" ketidakteraturan tersebut di dua atau lebih dimensi ruang. Walaupun bukti separa sudah wujud dalam dua dimensi, membuktikan konjektur penuh di semua dimensi ruang masih menjadi cabaran terbuka.
 

Mekanisme Teks Biasa: Persamaan Pembezaan Sebahagian Bantu

Menurut rilis teknis OpenAI di repositori GitHub openai/math, model tersebut menghasilkan bukti dalam bahasa semula pada 18 Oktober 2026, menyelesaikan konjektur tersebut di seluruh dimensi spasial sekurang-kurangnya dua.
 
Daripada bergantung semata-mata pada teknik pengirisan geometri tradisional, model tersebut membina persamaan pembezaan separa tambahan yang memantau bagaimana tenaga gelombang hilang seiring masa. Dengan mengawal seberapa pantas tenaga merebak, hujah ini mencegah pakej gelombang berkumpul secara berlebihan sepanjang kon cahaya, menyelesaikan halangan teknikal yang sebelumnya menghadkan bukti dimensi lebih tinggi.
 

Kesan Seterusnya: Membuka Konjektur Kakeya

Dalam matematik tulen, konjektur penghalusan tempatan Sogge bertindak seperti kunci utama yang berada di puncak hierarki masalah-masalah terkenal. Membuktikannya secara automatik menyelesaikan beberapa konjektur lama dalam teori ukuran geometri:
 
  1. Konjektur Maksimal dan Dimensi Kakeya: Berasal dari teka-teki tahun 1917 yang menanyakan luas terkecil yang diperlukan untuk memutar jarum unit sebanyak 360 darjah sepenuhnya, konjektur Kakeya dimensi tinggi menyatakan bahawa mana-mana set yang mengandungi segmen garis unit dalam setiap arah mestilah mempunyai dimensi penuh ruang yang ia menempati. OpenAI mengklaim bukti penghalusan tempatannya menyelesaikan kedua-dua konjektur maksimal Kakeya dan Nikodym.
 
  1. Anggaran Pembatasan Sferik Stein: Keputusan ini juga menetapkan julat dalaman batasan pembatasan Fourier yang diperkenalkan oleh Elias Stein pada 1970-an, yang mengawal bagaimana gelombang berkelakuan apabila dibataskan kepada permukaan sfera melengkung.
 
Untuk menyokong pemeriksaan bebas, OpenAI menterjemahkan naskhah 18 Oktober ke dalam bahasa pembuktian teorem Lean pada 19 Oktober 2026, dan melepaskan kedua-dua penulisan PDF dan bukti Lean yang boleh disemak mesin secara terus kepada awam.
 

Terobosan 2: Sains Komputer dan Pembantahan Hipotesis Masa Eksponen

Klaim kedua, dan mungkin yang paling mengejutkan, menargetkan dasar-dasar teori kerumitan komputasi. OpenAI mengumumkan bahawa modelnya menghasilkan pembantahan formal terhadap Hipotesis Masa Eksponen (ETH), dengan mengklaim membuktikan bahawa andaian yang secara luas diterima ini adalah salah.
 
Dicadangkan oleh Russell Impagliazzo, Ramamohan Paturi, dan Francis Zane antara tahun 1999 dan 2001, Hipotesis Masa Eksponen berkaitan dengan masalah 3-SAT—sebuah teka-teki logik klasik di mana algoritma mesti menentukan sama ada sekumpulan besar suis Boolean (benar/salah) boleh memenuhi ribuan peraturan yang tumpang tindih. Semakin bertambah bilangan pemboleh ubah (n), bilangan kombinasi yang mungkin meledak secara eksponen.
 
Dalam istilah yang mudah, ETH menyatakan bahawa tiada jalan pintas pengiraan untuk 3-SAT dalam kes terburuk: sebarang algoritma deterministik mesti mengambil masa eksponen ketat (tumbuh pada kadar yang berkadar dengan 2 dinaikkan kepada pecahan malar n). Selama 25 tahun, ratusan kertas ilmu komputer menggunakan ETH sebagai garis dasar asas untuk membuktikan bahawa masalah-masalah sukar lain dalam teori graf, penghalaan rangkaian, dan pangkalan data tidak boleh diselesaikan lebih cepat daripada masa eksponen.
 

Bagaimana Algoritma yang Diklaim Berfungsi

Pada 16 Oktober 2026, model dalaman OpenAI menghasilkan pembuktian penyangkalan terhadap ETH, yang dirumuskan oleh pasukan itu dalam Lean pada hari berikutnya (17 Oktober). Manuskrip ini mempersembahkan algoritma deterministik yang mengira jumlah tepat penyelesaian sah untuk formula Boolean lebar tetap dalam masa subeksponen sambil menggunakan hanya ruang ingatan polinomial.
 
Di sini, "masa subeksponen" bermaksud masa pelaksanaan algoritma bertumbuh lebih perlahan secara ketat daripada lengkung eksponen piawai apabila saiz masalah meningkat (secara khusus, berskala secara berkadar dengan 2 dinaikkan ke kuasa n dibahagi dengan logaritma ganda n). Walaupun masih memerlukan pengiraan yang besar untuk input yang besar, melintasi sempadan matematik dari eksponen ketat kepada subeksponen sudah mencukupi untuk membantah ETH di atas kertas.
 

Apakah Ini Bermaksud Apa Terhadap Keselamatan Mata Wang Kripto dan Blok Rantai?

Setiap kali pencapaian dalam kerumitan pengiraan diumumkan, pelabur aset digital secara semula jadi bertanya sama ada rangkaian kriptografi seperti Bitcoin atau Ethereum berisiko. Walaupun pembantahan ETH oleh OpenAI disahkan sepenuhnya, ia tidak mengancam kriptografi blok rantai, kerana tiga sebab asas:
 
  • Halangan P vs. NP masih kekal: Membantah ETH tidak bermaksud P = NP. Masa subeksponen masih jauh lebih perlahan daripada masa polinomial. Selain itu, pembahagi seperti "log log $$$$" tumbuh sangat perlahan, sehingga untuk saiz masalah dunia nyata, peningkatan laju teori tidak berubah menjadi keuntungan masa pelaksanaan yang praktikal. OpenAI secara eksplisit mencatat bahawa menukar sempadan teori ini kepada peningkatan laju algoritma praktikal memerlukan penyelidikan lanjut yang signifikan.
 
  • Kesukaran Keseluruhan Terburuk Berbanding Keseluruhan Purata: ETH hanya mengukur kesukaran terburuk keseluruhan bagi teka-teki kepuasan logik. Kriptografi moden, seperti penghimpunan SHA-256 Bitcoin atau tandatangan digital lengkung eliptik (ECDSA), bergantung pada kesukaran kriptografi keseluruhan purata dan perangkap matematik satu arah yang tetap selamat walaupun terhadap perubahan asimptotik kecil dalam penyelesaian SAT.
 
  • Potensi Keuntungan untuk Pengesahan Web3: Alih-alih memecahkan enkripsi, kemajuan teoretikal dalam kepuasan Boolean (SAT) dan algoritma pengiraan terutamanya berguna untuk alat pengesahan rasmi—yang digunakan oleh pembangun untuk memeriksa kontrak pintar dan batasan litar zero-knowledge (ZK) bagi mengesan ralat tersembunyi.
 

Ulasan Bebas oleh Pencipta Asli ETH

Untuk mengkaji dakwaan ilmu komputer, OpenAI menghubungi Russell Impagliazzo dan Ramamohan Paturi (UC San Diego), dua daripada pencadang asal Hipotesis Masa Eksponen, bersama dengan ahli ilmu komputer MIT, Ryan Williams.
 
Dalam surat terbuka bersama kepada komuniti sains komputer pada 26 Oktober, ketiga-tiga sarjana itu bersetuju untuk membantu menyusun pemeriksaan terbuka dan bebas terhadap tuntutan tersebut, sambil menekankan peringatan yang jelas: "Keterlibatan kami tidak boleh diambil sebagai pengesahan tuntutan tersebut." Bekerja tanpa perjanjian kerahsiaan dan tanpa bayaran daripada OpenAI, kumpulan itu meminta, dan OpenAI bersetuju, untuk melepaskan semua data model mentah secara awam dan membiayai satu konferens akademik untuk mengkaji dapatan tersebut.
 

Terobosan 3: Fizik Matematik dan Kewujudan Kromodinamik Kuantum 4D

Tuntutan ketiga membincangkan teori medan kuantum yang membina, dipimpin oleh kerangka renormalisasi Tadeusz Balaban, yang bertujuan untuk meletakkan fizik zarah di atas asas matematik yang ketat.
 
Dalam fizik moden, Model Standard, dan khususnya Kromodinamik Kuantum (QCD), yang menggambarkan daya nuklear kuat yang mengikat kuark di dalam proton dan neutron, meramalkan eksperimen penghala zarah dengan ketepatan yang luar biasa. Namun, satu paradoks terkenal telah berterusan selama lebih setengah abad: sementara ahli fizik menggunakan teori medan kuantum empat dimensi setiap hari, ahli matematik belum pernah berjaya membuktikan bahawa persamaan-persamaan ini kekal ditakrifkan secara matematik apabila dikira merentas ruang-waktu empat dimensi yang berterusan dan tak hingga halus.
 
Sebelum ini, ahli matematik hanya berjaya membuktikan kewujudan yang ketat untuk teori medan yang disederhanakan dalam dua atau tiga dimensi. Dalam empat dimensi, mengambil "had kontinum" (mengurangkan grid pengiraan diskret sehingga jaraknya menjadi sifar) menyebabkan persamaan menjadi tak terhingga dengan ketakterhinggaan matematik.
 

Mengatasi Masalah Kewujudan Yang-Mills

Menurut jadual rilis OpenAI:
 
  • 9 September 2026: Model dalaman menghasilkan bukti dalam bahasa semula jadi yang menetapkan kewujudan matematik yang ketat bagi teori Yang-Mills empat dimensi tulen, mengatasi separuh kewujudan Masalah Hadiah Milenium Institut Matematik Clay yang terkenal (walaupun membuktikan kewujudan sahaja tidak secara automatik menyelesaikan keperluan penuh "kesenjangan jisim" hadiah tersebut).
 
  • 18 September 2026: Model tersebut memperluas pembinaan untuk termasuk medan tolok yang berinteraksi dengan fermion (partikel jirim seperti kuark), mengaku telah menubuhkan kewujudan matematik QCD empat dimensi dan penyempurnaan terpadu besar Model Standard.
 

Ulasan Dipimpin oleh Penerima Hadiah Nobel David Gross

Panel fizik lima ahli dipimpin oleh David Gross—yang berkongsi Hadiah Nobel Fizik 2004 untuk penemuan kebebasan asimptotik dalam QCD—bersama fizikus matematik terkenal Arthur Jaffe (penulis bersama pernyataan masalah Hadiah Millennium Clay rasmi untuk Yang-Mills), Michael Douglas, Igor Klebanov, dan Nikita Nekrasov (penerima Hadiah Dannie Heineman 2023). Kumpulan ini memilih untuk menahan naskah AI mentah sementara waktu sambil mereka mengkaji dan menyusun kerja tersebut secara berasingan.
 

Model Gembala Akademik dan Pengesahan Lean 4

Pelancaran tiga tuntutan utama secara serentak menonjolkan satu bottleneck yang semakin meningkat dalam sains moden: menghasilkan naskhah AI yang kompleks kini mengambil masa jauh lebih sedikit berbanding masa yang diperlukan oleh pakar manusia untuk mengesahkannya. Pada awal Oktober 2026, OpenAI melancarkan lebih daripada 700 nota matematik yang dihasilkan oleh AI, yang memicu tentangan daripada ahli matematik yang bimbang akan membanjiri proses semakan rakan sebaya tradisional.
 
Untuk mengelakkan pengisian jurnal dengan dakwaan yang tidak disemak, OpenAI merumuskan empat prinsip tata kelola untuk kolaborasi akademiknya:
 
Prinsip Tata Kelola Komitmen Utama Makna Praktikal untuk Penyelidik
1. Ketelusan Tiada Perjanjian Kerahsiaan (NDAs) Ahli luar boleh membincangkan karya tersebut, berkongsi dapatan sementara, dan menerbitkan kritikan atau sanggahan tanpa sekatan.
2. Tiada Kredit Akademik Tiada Klaim Kepemilikan AI atau Korporat OpenAI tidak mencari keutamaan atau pengakuan akademik terhadap model-modelnya (selaras dengan janjinya pada September 2026 untuk tidak mengklaim Hadiah Millennium).
3. Pengiktirafan Kredit untuk Ekspositor Manusia Kumpulan kerja akademik menerima pengiktirafan penuh terhadap penjelasan yang mereka tulis dan memastikan penyelidikan manusia sebelumnya dirujuk dengan betul.
4. Kemerdekaan Ulasan Sukarela dan Tanpa Bayaran Pemeriksa tidak menerima sebarang kompensasi peribadi daripada OpenAI, memastikan kesimpulan mereka tetap bebas daripada pengaruh korporat.
 

Mengapa Pengesahan Lean Penting

Untuk kedua-dua hasil matematik (penghalusan tempatan) dan sains komputer (ETH), OpenAI menggabungkan kertas-kertas bahasa semula jadi dengan bukti formal dalam Lean, seorang pembuktian teorem interaktif sumber terbuka yang disokong awal oleh Simons Foundation.
 
Dalam Lean, pernyataan matematik ditulis sebagai kod komputer yang ketat. Jika satu langkah mengandungi lompatan logik atau ilusi tersembunyi, kod tersebut gagal dikompilasi. Namun, komentator akademik menekankan perbezaan penting: walaupun Lean menjamin bahawa bukti formal mengikuti secara logik daripada definisinya, pakar manusia masih perlu mengesahkan bahawa kod formal tersebut menangkap soalan matematik asal dengan tepat. Sebagai contoh, pada 7 Oktober 2026, OpenAI menarik balik tiga naskah sebelumnya dari repositori openai/math selepas menemui ralat tanda dalam perumusan masalah.
 
Teknologi pengesahan formal yang sama semakin menjadi asas kepada Web3 dan mata wang kripto. Ekosistem blok rantai dengan keyakinan tinggi, mesin maya tanpa pengetahuan (zkVMs), dan protokol DeFi institusi bergantung pada pembuktian teorem interaktif seperti Lean 4 untuk mengesahkan secara matematik bahawa kontrak pintar dan litar kriptografi tidak boleh dieksploitasi. Jika model AI boleh menterjemahkan logik kompleks menjadi kod Lean yang telah disahkan, kesan seterusnya terhadap audit kontrak pintar automatik dan pengesahan formal protokol boleh menjadi besar.
 

Kesimpulan

Pengumuman OpenAI pada Oktober 2026 menandakan ujian penting bagi penemuan saintifik yang dibantu AI. Dengan menggabungkan model penalaran dalaman dengan pengesahan formal Lean dan menyerahkan pengawasan terhadap tuntutan utama dalam matematik, teori kompleksiti, dan fizik kuantum kepada pakar bebas seperti Impagliazzo, Paturi, Williams, dan Gross, inisiatif ini menggerakkan AI hadapan melampaui tolok ukur ringkas. Walaupun masih ada berbulan-bulan pengkajian akademik yang ketat sebelum bukti-bukti ini dianggap sebagai sains yang telah ditetapkan, persatuan antara pembuktian teorem automatik dan pengesahan terbuka menetapkan preseden yang kuat untuk penyelidikan teoretikal dan sistem kriptografi berkeyakinan tinggi.
 

Soalan Lazim

Apakah tiga terobosan ilmiah OpenAI yang diumumkan pada Oktober 2026?

Pada 26 Oktober 2026, OpenAI mengumumkan bahawa model dalaman mereka menghasilkan tiga keputusan teori utama: (1) bukti konjektur penghalusan tempatan Sogge dalam setiap dimensi, yang juga menyelesaikan konjektur Kakeya. (2) algoritma subeksponen penentu yang membantah Hipotesis Masa Eksponen (ETH) dalam ilmu komputer. (3) bukti kewujudan matematik untuk teori medan kuantum berinteraksi empat dimensi, termasuk Kromodinamik Kuantum (QCD).

Adakah pembantahan terhadap Hipotesis Masa Eksponen merosakkan bitcoin atau enkripsi kripto?

Tidak. Walaupun sangkalan ETH disahkan oleh saintis komputer bebas, ia tidak membuktikan P = NP dan tidak menciptakan penyelesaian praktikal pantas yang mampu memecahkan kunci kriptografi. Penghasingan blok rantai (SHA-256) dan tanda tangan digital bergantung pada kesukaran kriptografi kes purata, bukan sempadan 3-SAT kes terburuk, dan OpenAI mencatat bahawa keputusan teorinya tidak menghasilkan peningkatan laju masa nyata secara serta-merta.

Adakah bukti-bukti yang dihasilkan oleh AI ini telah disahkan oleh komuniti saintifik?

Belum lagi. Walaupun OpenAI telah membebaskan bukti Lean yang disemak mesin untuk klaim matematik dan sains komputer di GitHub, para akademik luar masih perlu mengesahkan bahawa kod formal tersebut mewakili konjektur asal dengan tepat. Kumpulan semakan sains komputer dengan jelas menyatakan bahawa keterlibatan mereka adalah pemeriksaan bebas, bukan pengesahan, dan kumpulan fizik yang dipimpin oleh pemenang Hadiah Nobel David Gross masih menilai naskhah QCD.

Bagaimanakah OpenAI membiayai pengesahan akademik bebas?

Seiring dengan kumpulan kerja "penggembala akademik" tanpa bayaran dan tanpa NDA, OpenAI berjanji memberikan $5 juta kepada Simons Foundation sebagai sebahagian daripada inisiatif bersama $15 juta (bersama Anthropic) yang diumumkan pada Oktober 2026 untuk membiayai lokakarya akademik, konferens, dan alat yang membantu para saintis menilai bukti yang dihasilkan AI.
 
 

Penafian

Maklumat pasaran umum ini, yang mungkin berasal dari sumber pihak ketiga, komersial, atau disponsori, disediakan semata-mata untuk rujukan dan tujuan pendidikan dan tidak merupakan nasihat kewangan atau pelaburan, tawaran, ajakan, atau jaminan. Kami menolak tanggungjawab atas ketepatan, kelengkapan, kebolehpercayaan, dan sebarang kerugian yang timbul. Pelaburan/dagangan adalah berisiko; prestasi lepas tidak menjamin keputusan masa depan. Pengguna harus menyelidik, menilai dengan bijak, dan mengambil tanggungjawab penuh. Untuk butiran lanjut, sila rujuk Terma Penggunaan dan Pendedahan Risiko KuCoin.

Penafian: Halaman ini telah diterjemahkan dengan menggunakan teknologi AI untuk keselesaan anda. Untuk mendapatkan maklumat yang paling tepat, rujuk kepada versi bahasa Inggeris asal.