AnswersPublished25 sources
OpenAI Dakwa AI Selesaikan Lebih 100 Masalah Matematik Terbuka — Tetapi Bukti Bebas Masih Belum Lengkap
Pada 21 September 2026, OpenAI berkata model dalaman yang mula dilatih pada 28 Ogos telah menyelesaikan lebih 100 masalah matematik terbuka yang sudah lama wujud.[5][15] OpenAI mengeluarkan bukti analitik serta pemformalan Lean untuk Navier–Stokes, tetapi belum ada penerbitan jurnal yang layak atau penerimaan menyel...
Diterbitkan olehDisunting dengan GPT-5.6 TerraImej dijana dengan GPT Image 2
Research answer
Key takeaways
- Pada 21 September 2026, OpenAI berkata model dalaman yang mula dilatih pada 28 Ogos telah menyelesaikan lebih 100 masalah matematik terbuka yang sudah lama wujud.[5][15]
- OpenAI mengeluarkan bukti analitik serta pemformalan Lean untuk Navier–Stokes, tetapi belum ada penerbitan jurnal yang layak atau penerimaan menyeluruh oleh komuniti matematik.[13][46]
- Tiada bukti awam yang mencukupi untuk menganggap Konjektur Hodge telah diselesaikan; OpenAI hanya mengakui kemajuan besar bagi satu lagi masalah Millennium yang tidak dinamakan.[14]
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
Pengumuman OpenAI pada 21 September ialah tuntutan penyelidikan yang sangat besar, bukannya keputusan matematik yang sudah muktamad. Syarikat itu berkata sebuah model dalaman yang latihannya bermula pada 28 Ogos telah menyelesaikan lebih daripada 100 masalah terbuka lama merentas kebanyakan bidang matematik. Kenyataan itu dibuat serentak dengan pengumuman kumpulan penasihat matematik bebas yang dihoskan oleh Institute for Advanced Study (IAS) di Princeton. 5
15
Perbezaan utamanya mudah tetapi penting: syarikat mendakwa telah ada penyelesaian tidak sama dengan penyelesaian yang telah diperiksa secara bebas dan diterima ahli matematik. Rekod awam setakat ini menyokong perkara pertama, tetapi belum membuktikan perkara kedua bagi keseluruhan lebih 100 masalah tersebut.
Apa yang didakwa OpenAI
Pada 8 September, OpenAI berkata kira-kira 10,000 ejen AI menggunakan model dalaman yang belum diterbitkan telah menemui singulariti masa terhingga bagi persamaan Navier–Stokes tiga dimensi dengan daya paksa dalam masa 88 jam. OpenAI menyifatkannya sebagai penyelesaian kepada masalah kewujudan dan kelicinan Navier–Stokes, dan berkata ia menghasilkan bukti analitik serta pemformalan dalam Lean. 1
13
Kemudian pada 21 September, OpenAI meluaskan dakwaan itu: selain Navier–Stokes, model dalaman tersebut dikatakan telah menyelesaikan lebih 100 masalah terbuka yang sudah lama wujud. 5
15
Istilah “menyelesaikan” di sini ialah pencirian OpenAI sendiri. Ia tidak bererti setiap hasil sudah diterbitkan, dinilai pakar bebas, atau diterima oleh komuniti matematik.
Bukti yang dikeluarkan — dan yang belum dikeluarkan
Bagi Navier–Stokes, OpenAI secara terbuka menyatakan ia mempunyai bukti analitik dan pemformalan Lean, iaitu bahasa pembantu bukti. Hasil yang disemak Lean merupakan bukti yang bermakna: ia menunjukkan teorem yang dikodkan terbit daripada takrif, aksiom dan pustaka formal yang turut dikodkan. 13
Namun, rekod awam untuk dakwaan “100+” jauh lebih terhad. Pengumuman 21 September tidak menyediakan senarai terperinci masalah, pernyataan matematik tepat, bukti, status pemformalan, asal-usul kerja, atau status semakan bebas bagi setiap satu daripadanya. Tanpa rekod seperti itu, orang luar tidak dapat mengaudit angka utama tersebut satu demi satu. 7
11
Pelaporan yang tersedia juga belum menunjukkan bahawa bukti Navier–Stokes sudah melalui semakan rakan sebaya oleh manusia secara lengkap atau menerima penerimaan umum dalam matematik. Kedua-duanya ialah piawaian yang berbeza daripada sekadar menyediakan artifak bukti atau memastikan kod boleh dikompil. 1
46
Adakah Konjektur Hodge sudah diselesaikan?
Belum boleh dikatakan begitu. Tiada bukti awam dalam rekod yang dibekalkan menyokong kesimpulan bahawa Konjektur Hodge telah diselesaikan.
Konjektur Hodge ialah salah satu daripada Masalah Hadiah Millennium oleh Clay Mathematics Institute. 37 Pelaporan menyatakan OpenAI mengakui kemajuan besar terhadap satu lagi masalah Millennium yang tidak dinamakan, tetapi syarikat itu tidak mengenal pasti masalah tersebut secara terbuka sebagai Konjektur Hodge dan tidak mengeluarkan bukti untuknya.
14
Khabar angin atau laporan kemajuan bukan pengganti kepada bukti yang boleh diteliti komuniti penyelidikan. Selagi tiada pernyataan tepat dan kerja sokongan diterbitkan serta dinilai secara bebas, kesimpulan yang bertanggungjawab ialah penyelesaian OpenAI bagi Konjektur Hodge belum dibuktikan.
Mengapa bukti Lean boleh sah tetapi masih sukar dinilai
Pengesahan formal dan pemahaman matematik manusia menangani persoalan yang berkait, tetapi tidak sama.
Pemformalan Lean boleh memberi jaminan kuat bahawa teorem yang dikodkan tidak mempunyai jurang logik relatif kepada persediaan formalnya. Namun, skrip bukti formal lazimnya menghuraikan penaakulan yang kelihatan rutin kepada banyak takrif, lema, pergantungan pustaka, penulisan semula dan langkah teknikal. Ini boleh menjadikannya sukar dibaca sebagai hujah konseptual oleh pakar.
Ini bukan bermakna “boleh dikompil” tidak bernilai. Sebaliknya, kompilasi semata-mata belum menjawab semua persoalan yang perlu dijawab oleh ahli matematik:
- Adakah pernyataan formal itu benar-benar sepadan dengan masalah Millennium yang dimaksudkan?
- Apakah idea teras di sebalik pembinaan atau mekanisme singulariti itu?
- Anggaran atau hujah manakah yang melakukan kerja intelektual utama?
- Adakah hasil itu kukuh, baharu, dan dibentangkan supaya penyelidik lain boleh membinanya?
- Bagaimanakah kredit harus diberikan kepada idea terdahulu yang berkaitan?
Semakan formal boleh menjadi komponen penting dalam pengesahan. Namun, ia tidak dengan sendirinya menghasilkan penerangan ringkas untuk manusia, menyelesaikan isu asal-usul idea, atau membentuk konsensus komuniti.
Kritikan: kredit, keutamaan dan norma penyelidikan
Pengumuman itu mencetuskan kritikan yang melangkaui merit teknikal bukti. Dua puluh lima penerima Pingat Fields menandatangani surat terbuka bertajuk A Severe Misalignment of AI in Mathematics. Mereka membantah perlumbaan makmal AI menggunakan masalah matematik terkenal sebagai demonstrasi keupayaan, sambil memberi amaran bahawa dorongan sebegitu boleh menjejaskan budaya penyelidikan dan latihan matematik. 19
21
Pertikaian keutamaan berasingan melibatkan ahli matematik Tristan Buckmaster dan Levent Alpöge. Dalam kenyataan pada waktu itu, Buckmaster berkata beliau dimaklumkan sistem dalaman OpenAI mempunyai bukti bagi letupan masa terhingga untuk persamaan Navier–Stokes dengan daya paksa. Beliau turut berkata bahawa beliau dan Alpöge berasa tertekan untuk mengeluarkan kerja berkaitan sebelum pengesahan dan penerangan mereka lengkap. Kenyataannya menyebut hasil Navier–Stokes hipo-dissipatif yang berasingan tidak dikeluarkan kerana pengesahan Leannya belum selesai. 17
Catatan Buckmaster ialah bukti penting tentang pertikaian masa, kredit dan tekanan penerbitan. Namun, ia sendiri bukan bukti bahawa OpenAI menyalin kerja sesiapa. OpenAI berkata ia memulakan kerja selepas mendengar khabar angin tentang kemajuan Buckmaster dan Alpöge, serta menawarkan pengeluaran serentak yang akan mengiktiraf keutamaan mereka. 32
Jadi, persoalannya bukan semata-mata sama ada AI boleh menjana bukti. Ia juga tentang sama ada penemuan berbantu AI boleh dikeluarkan dengan cara yang membolehkan atribusi teliti, semakan bebas dan pertukaran ilmiah yang normal.
Peranan kumpulan penasihat di IAS — dan batasnya
OpenAI mengumumkan Advisory Group on Mathematics and Artificial Intelligence, sebuah kumpulan penasihat bebas sembilan anggota yang tidak dibayar dan dihoskan oleh IAS di Princeton. Pelaporan mengenal pasti antara ahlinya Timothy Gowers dan Martin Hairer. 4
5
Tujuan yang dinyatakan ialah memberi ahli matematik peranan dalam menilai dan menyampaikan kerja matematik yang dijana AI, termasuk nasihat tentang amalan semakan serta pelepasan hasil. 5
15
Namun, kumpulan itu bersifat penasihat, bukannya badan pengawal selia. Pelaporan menunjukkan ia tidak boleh memaksa OpenAI mendedahkan bukti asas, menetapkan jadual penyelidikan syarikat, memveto pengumuman atau menentukan pengarang secara muktamad. 7
Batas ini sangat penting: nasihat pakar boleh menambah baik ketelusan dan komunikasi, tetapi tidak boleh dengan sendirinya menukar dakwaan dalaman syarikat menjadi teorem yang diterima komuniti.
Mengapa belum layak menerima Hadiah Millennium
Peraturan Clay jelas. Sebelum Clay Mathematics Institute mempertimbangkan cadangan penyelesaian Hadiah Millennium, kerja itu mesti diterbitkan dalam saluran penerbitan yang layak, sekurang-kurangnya dua tahun mesti berlalu selepas penerbitan, dan hasil itu mesti menerima penerimaan umum dalam komuniti matematik global. 46
Catatan blog syarikat, pracetak, repositori kod atau penilaian kumpulan penasihat tidak secara automatik memenuhi syarat tersebut. Clay juga menyatakan selepas pengumuman Navier–Stokes bahawa peraturannya mengawal proses menilai pencapaian dan pemberian kredit. 42
Maka, walaupun hasil Navier–Stokes OpenAI atau hasil kemudian akhirnya didapati betul, pengumuman September itu tidak menjadikannya serta-merta layak untuk hadiah. Kerja tersebut masih perlu melalui proses penerbitan dan penerimaan yang telah ditetapkan.
Kesimpulan
OpenAI mendakwa model AI dalaman telah menyelesaikan lebih 100 masalah matematik terbuka, susulan dakwaan lebih awal mengenai penyelesaian Navier–Stokes yang dipermudahkan dalam Lean. Kerja Navier–Stokes mempunyai artifak awam, tetapi portfolio “100+” yang lebih luas masih tiada rekod bukti awam mengikut masalah. 13
11
Buat masa ini, pendirian yang wajar bukan menolak secara automatik dan bukan menerima secara terburu-buru. Dakwaan ini berpotensi besar, tetapi memerlukan bukti telus, penelitian pakar, atribusi yang adil dan masa — khususnya bagi sebarang dakwaan bahawa masalah Millennium lain seperti Konjektur Hodge telah diselesaikan.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "OpenAI Dakwa AI Selesaikan Lebih 100 Masalah Matematik Terbuka — Tetapi Bukti Bebas Masih Belum Lengkap"?
Pada 21 September 2026, OpenAI berkata model dalaman yang mula dilatih pada 28 Ogos telah menyelesaikan lebih 100 masalah matematik terbuka yang sudah lama wujud.[5][15]
What are the key points to validate first?
Pada 21 September 2026, OpenAI berkata model dalaman yang mula dilatih pada 28 Ogos telah menyelesaikan lebih 100 masalah matematik terbuka yang sudah lama wujud.[5][15] OpenAI mengeluarkan bukti analitik serta pemformalan Lean untuk Navier–Stokes, tetapi belum ada penerbitan jurnal yang layak atau penerimaan menyeluruh oleh komuniti matematik.[13][46]
What should I do next in practice?
Tiada bukti awam yang mencukupi untuk menganggap Konjektur Hodge telah diselesaikan; OpenAI hanya mengakui kemajuan besar bagi satu lagi masalah Millennium yang tidak dinamakan.[14]