JawabanDipublikasikan25 sumber
OpenAI Mengklaim AI-nya Memecahkan 100+ Soal Matematika Terbuka. Apa yang Benar-Benar Kita Ketahui?
Pada 21 September 2026, OpenAI mengatakan model internal yang pelatihannya dimulai 28 Agustus telah menyelesaikan lebih dari 100 masalah matematika terbuka yang telah lama ada. Untuk Navier–Stokes, OpenAI merilis bukti analitis dan formalisasi Lean.
Diterbitkan olehDiedit dengan GPT-5.6 TerraGambar dibuat dengan GPT Image 2
Jawaban penelitian
Poin-poin penting
- Pada 21 September 2026, OpenAI mengatakan model internal yang pelatihannya dimulai 28 Agustus telah menyelesaikan lebih dari 100 masalah matematika terbuka yang telah lama ada.
- Untuk Navier–Stokes, OpenAI merilis bukti analitis dan formalisasi Lean. Namun, hasil itu belum melalui publikasi yang memenuhi syarat, peninjauan independen yang selesai, atau penerimaan luas komunitas matematika.
- Tidak ada bukti publik yang cukup untuk menyatakan Konjektur Hodge telah terpecahkan; OpenAI hanya dikabarkan mengakui kemajuan besar pada masalah Millennium kedua yang tidak disebutkan namanya.[14]
AI Perintah
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 merupakan klaim riset yang sangat besar, bukan putusan final dari komunitas matematika. Perusahaan itu menyatakan model internal yang tidak disebut namanya—dan mulai dilatih pada 28 Agustus—telah menyelesaikan lebih dari 100 masalah terbuka jangka panjang di hampir seluruh bidang matematika. Klaim tersebut disampaikan bersamaan dengan pembentukan kelompok penasihat matematika independen yang berbasis di Institute for Advanced Study (IAS), Princeton. 5
15
Pembedaan paling pentingnya sederhana: ada jarak antara perusahaan yang mengklaim sebuah masalah telah terpecahkan dan solusi yang sudah diperiksa secara mandiri lalu diterima para matematikawan. Materi yang tersedia untuk publik mendukung klaim pertama, tetapi belum membuktikan yang kedua untuk seluruh portofolio “100+” masalah itu.
Apa yang diklaim OpenAI?
Sebelumnya, pada 8 September, OpenAI menyatakan sekitar 10.000 agen AI yang berjalan dengan model internal belum dirilis telah menemukan singularitas waktu hingga (finite-time singularity) pada persamaan Navier–Stokes tiga dimensi dengan gaya paksa dalam 88 jam. OpenAI menyebut hasil itu sebagai solusi untuk persoalan eksistensi dan kehalusan Navier–Stokes, serta mengatakan telah menghasilkan bukti analitis dan formalisasi dalam Lean. 1
13
Navier–Stokes adalah salah satu Masalah Hadiah Millennium dari Clay Mathematics Institute—serangkaian persoalan besar yang masing-masing terkait hadiah US$1 juta bila memenuhi prosedur pengakuan resmi.
Pada 21 September, OpenAI memperluas klaimnya: selain Navier–Stokes, model internal tersebut disebut telah menyelesaikan lebih dari 100 masalah terbuka lama. 5
15
Kata “menyelesaikan” di sini tetap merupakan karakterisasi dari OpenAI. Itu belum berarti setiap hasil telah dipublikasikan, diperiksa oleh ahli independen, atau diterima komunitas matematika.
Bukti yang dirilis, dan yang belum dirilis
Untuk Navier–Stokes, OpenAI secara publik menjelaskan adanya bukti analitis serta formalisasi Lean. Lean adalah bahasa proof assistant atau asisten pembuktian formal. Bukti yang lolos pemeriksaan Lean adalah bukti penting: sistem dapat memeriksa bahwa teorema yang dirumuskan secara presisi memang mengikuti definisi, aksioma, dan pustaka formal yang dipakai. 13
Namun, catatan publik untuk klaim “100+” jauh lebih tipis. Pengumuman 21 September tidak memberikan katalog terbuka yang merinci setiap masalah, pernyataan matematis persisnya, bukti, status formalisasi, asal-usul ide, dan status pemeriksaan independennya. Tanpa itu, pihak luar tidak dapat mengaudit angka utama tersebut satu per satu. 7
11
Pelaporan yang tersedia juga belum menunjukkan bahwa bukti Navier–Stokes telah menuntaskan peer review manusia secara independen atau memperoleh penerimaan umum dari komunitas matematika. Standar itu berbeda dari sekadar menyediakan artefak bukti atau membuat kode berhasil dikompilasi. 1
46
Apakah Konjektur Hodge sudah terpecahkan?
Belum ada bukti publik dalam catatan sumber yang mendukung kesimpulan bahwa Konjektur Hodge telah selesai dipecahkan.
Konjektur Hodge adalah salah satu Masalah Hadiah Millennium Clay. 37 Sejumlah laporan menyebut OpenAI mengakui telah membuat “kemajuan besar” pada masalah Millennium kedua yang tidak disebutkan namanya. Namun, perusahaan tidak mengidentifikasikannya sebagai Konjektur Hodge dan tidak merilis bukti untuk masalah tersebut.
14
Kabar, rumor, atau klaim kemajuan bukan pengganti bukti yang dapat dibaca dan diperiksa komunitas riset. Sampai ada pernyataan masalah yang jelas, bukti terbuka, dan penilaian independen, kesimpulan yang bertanggung jawab adalah: solusi OpenAI untuk Konjektur Hodge belum terbukti.
Mengapa bukti Lean dapat sah, tetapi tetap sulit dinilai?
Verifikasi formal dan pemahaman matematis manusia menangani dua hal yang berkaitan, tetapi tidak sama.
Formalisasi Lean dapat memberi kepastian kuat bahwa sebuah teorema yang telah dienkode tidak memiliki celah logis relatif terhadap kerangka formalnya. Akan tetapi, skrip bukti formal sering kali menguraikan langkah yang tampak rutin bagi manusia menjadi banyak definisi, lema, ketergantungan pustaka, penulisan ulang, dan langkah teknis.
Itu bukan berarti “berhasil dikompilasi” tidak bernilai. Artinya, kompilasi saja belum menjawab semua pertanyaan yang relevan bagi matematikawan, misalnya:
- Apakah pernyataan formal itu benar-benar tepat sama dengan masalah Millennium yang dimaksud?
- Apa ide inti di balik konstruksi atau mekanisme munculnya singularitas?
- Estimasi atau argumen mana yang melakukan pekerjaan intelektual utama?
- Apakah hasil ini cukup kokoh, baru, dan berguna untuk dikembangkan peneliti lain?
- Bagaimana kredit harus diberikan bila ada gagasan terkait yang lebih dahulu muncul?
Pemeriksaan formal dapat menjadi bagian besar dari verifikasi, tetapi tidak otomatis menghasilkan penjelasan yang ringkas bagi manusia, menyelesaikan soal asal-usul gagasan, ataupun menciptakan konsensus ilmiah.
Kritik: kredit, prioritas, dan norma riset
Kontroversi yang muncul tidak hanya menyangkut benar atau tidaknya bukti. Dua puluh lima penerima Fields Medal menandatangani surat terbuka berjudul A Severe Misalignment of AI in Mathematics. Mereka mengkritik perlombaan laboratorium AI yang menjadikan persoalan matematika terkenal sebagai demonstrasi kemampuan model. Para penandatangan memperingatkan bahwa insentif seperti itu dapat merugikan matematika, termasuk budaya riset dan pendidikan peneliti. 19
21
Sengketa prioritas terpisah melibatkan matematikawan Tristan Buckmaster dan Levent Alpöge. Dalam pernyataan yang dibuat pada masa kontroversi, Buckmaster mengatakan ia diberi tahu bahwa sistem internal OpenAI memiliki bukti finite-time blow-up untuk persamaan Navier–Stokes dengan gaya paksa. Ia juga mengatakan bahwa dirinya dan Alpöge merasa tertekan untuk merilis pekerjaan terkait sebelum verifikasi dan penjelasannya siap; pernyataannya mencatat hasil Navier–Stokes hypo-dissipative yang terpisah tidak dirilis karena verifikasi Lean belum selesai. 17
Pernyataan Buckmaster penting sebagai bukti adanya sengketa mengenai waktu publikasi, kredit, dan tekanan untuk mendahului pihak lain. Namun, pernyataan itu sendiri bukan bukti bahwa OpenAI menyalin karya siapa pun. OpenAI mengatakan pekerjaannya dimulai setelah mendengar rumor terobosan dari dua matematikawan tersebut dan bahwa perusahaan menawarkan rilis bersamaan yang mengakui prioritas mereka. 32
Masalah yang belum selesai, dengan demikian, bukan sekadar apakah AI dapat menghasilkan bukti. Pertanyaannya juga apakah penemuan berbantuan AI dapat diumumkan dengan cara yang memungkinkan atribusi yang adil, pemeriksaan independen, dan pertukaran ilmiah yang normal.
Peran kelompok penasihat yang berbasis di IAS
OpenAI membentuk Advisory Group on Mathematics and Artificial Intelligence, kelompok penasihat independen beranggotakan sembilan orang yang tidak dibayar dan berbasis di Institute for Advanced Study di Princeton. Pelaporan menyebut anggotanya antara lain Timothy Gowers dan Martin Hairer. 4
5
Tujuan kelompok ini adalah memberi matematikawan peran dalam mengevaluasi serta mengomunikasikan karya matematika yang dihasilkan AI, termasuk memberi saran tentang proses penelaahan dan praktik perilisan hasil. 5
15
Akan tetapi, sifatnya adalah penasihat, bukan regulator. Berdasarkan laporan yang tersedia, kelompok tersebut tidak dapat memaksa OpenAI membuka bukti dasarnya, menentukan jadwal riset perusahaan, memveto pengumuman, atau menetapkan kepengarangan secara final. 7
Keterbatasan itu penting: masukan pakar dapat memperbaiki transparansi dan komunikasi, tetapi tidak dengan sendirinya mengubah klaim internal perusahaan menjadi teorema yang diterima komunitas.
Mengapa belum ada Hadiah Millennium?
Aturan Clay cukup tegas. Sebelum Clay Mathematics Institute mempertimbangkan solusi yang diajukan untuk Hadiah Millennium, tiga syarat harus terpenuhi: solusi dipublikasikan di media yang memenuhi kualifikasi, setidaknya dua tahun telah berlalu sejak publikasi, dan karya itu telah mendapat penerimaan umum dalam komunitas matematika global. 46
Tulisan blog perusahaan, preprint, repositori kode, atau penilaian kelompok penasihat tidak otomatis memenuhi ketentuan tersebut. Clay juga menekankan, setelah pengumuman Navier–Stokes, bahwa aturannya mengatur proses evaluasi sekaligus penetapan kredit. 42
Jadi, bahkan bila hasil Navier–Stokes OpenAI atau hasil lain kelak terbukti benar, pengumuman pada September belum membuatnya langsung memenuhi syarat hadiah. Karya itu tetap harus melalui proses publikasi dan penerimaan yang telah berlaku dalam matematika.
Kesimpulannya
OpenAI mengklaim model AI internalnya telah menyelesaikan lebih dari 100 masalah matematika terbuka, setelah sebelumnya mengklaim solusi Navier–Stokes yang diformalisasi dalam Lean. Untuk Navier–Stokes ada artefak publik; untuk portofolio “100+”, belum ada catatan bukti publik yang rinci untuk tiap masalah. 13
11
Sikap yang tepat saat ini bukan menolak mentah-mentah, tetapi juga bukan langsung menerima: ini adalah klaim yang berpotensi sangat penting dan memerlukan bukti transparan, pemeriksaan ahli, atribusi yang cermat, serta waktu. Standar itu terutama berlaku untuk setiap insinuasi bahwa masalah Millennium lain—termasuk Konjektur Hodge—telah terpecahkan.
Studio Global AI
Lanjutkan penelitian Anda
Halaman ini berisi jawaban yang didukung sumber yang dapat Anda lanjutkan di dalam Studio Global.
Orang-orang juga bertanya
Apa jawaban singkat untuk "OpenAI Mengklaim AI-nya Memecahkan 100+ Soal Matematika Terbuka. Apa yang Benar-Benar Kita Ketahui?"?
Pada 21 September 2026, OpenAI mengatakan model internal yang pelatihannya dimulai 28 Agustus telah menyelesaikan lebih dari 100 masalah matematika terbuka yang telah lama ada.
Apa poin penting yang harus divalidasi terlebih dahulu?
Pada 21 September 2026, OpenAI mengatakan model internal yang pelatihannya dimulai 28 Agustus telah menyelesaikan lebih dari 100 masalah matematika terbuka yang telah lama ada. Untuk Navier–Stokes, OpenAI merilis bukti analitis dan formalisasi Lean. Namun, hasil itu belum melalui publikasi yang memenuhi syarat, peninjauan independen yang selesai, atau penerimaan luas komunitas matematika.
Apa yang harus saya lakukan selanjutnya dalam latihan?
Tidak ada bukti publik yang cukup untuk menyatakan Konjektur Hodge telah terpecahkan; OpenAI hanya dikabarkan mengakui kemajuan besar pada masalah Millennium kedua yang tidak disebutkan namanya.[14]