AnswersPublished14 sources
722 manuskrip matematik OpenAI: apa yang Lean boleh sahkan—dan apa yang tidak?
Pada 6 Oktober, OpenAI menerbitkan 722 manuskrip dalam 372 keluarga hasil berkaitan, dengan dakwaan bahawa koleksi itu mengandungi penyelesaian atau kemajuan bagi banyak masalah matematik terbuka. Lean boleh menyemak logik bukti yang telah diformalkan, tetapi tidak dapat menentukan sendiri sama ada sesuatu hasil itu...
Diterbitkan olehDisunting dengan GPT-6 LunaImej dijana dengan GPT Image 2
Research answer
Key takeaways
- Pada 6 Oktober, OpenAI menerbitkan 722 manuskrip dalam 372 keluarga hasil berkaitan, dengan dakwaan bahawa koleksi itu mengandungi penyelesaian atau kemajuan bagi banyak masalah matematik terbuka.
- Lean boleh menyemak logik bukti yang telah diformalkan, tetapi tidak dapat menentukan sendiri sama ada sesuatu hasil itu baharu atau benar benar menjawab masalah yang dimaksudkan.
- Dakwaan terdahulu tentang Navier–Stokes menimbulkan persoalan tentang proses, sumbangan manusia dan ketelusan.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI release on Oct. 6 from its unreleased frontier model—including the number and range of mathematical manuscripts, their claim. Article summary: On October 6, OpenAI published **722 mathematical manuscripts in 372 related result families** from an unreleased internal frontier model. It presents them as results across many areas of mathematics, including work on l. Topic tags: general, general web, academic, news, user generated. 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
Pada 6 Oktober 2026, OpenAI menerbitkan 722 manuskrip matematik yang disusun dalam 372 keluarga hasil berkaitan. Syarikat itu berkata hasil tersebut datang daripada model dalaman peringkat termaju yang belum dilancarkan kepada umum. Laporan media menggambarkan koleksi itu sebagai merangkumi penyelesaian atau kemajuan besar bagi ratusan masalah terbuka dalam pelbagai bidang matematik. Banyak manuskrip mempunyai pemformalan dalam Lean, tetapi bukan semuanya. 4
17
Penerbitan ini memberi ahli matematik bahan untuk diteliti. Namun, jumlah manuskrip itu sendiri tidak membuktikan bahawa setiap hasil adalah baharu, penting atau dirumuskan dengan tepat. Dakwaan terdahulu tentang persamaan Navier–Stokes, persoalan mengenai cara hasil itu diperoleh dan batas pengesahan formal menjadikan semakan bebas penting untuk menilai pengumuman tersebut.
Apa yang diterbitkan OpenAI—dan apa yang didakwanya
Angka utama itu merujuk kepada perkara berbeza: 722 manuskrip dikelompokkan dalam 372 keluarga hasil berkaitan. Angka tersebut bukan kiraan satu demi satu bagi makalah atau masalah terbuka yang berbeza. Laporan media menyifatkan koleksi itu sebagai mengandungi penyelesaian atau kemajuan besar bagi ratusan masalah terbuka. Sebelum penerbitan ini, OpenAI juga berkata model dalamannya telah menyelesaikan lebih 100 masalah lama yang masih terbuka. Semua itu ialah dakwaan tentang hasil kerja model, bukannya jumlah penemuan yang telah disahkan secara bebas. 5
OpenAI turut menerbitkan bahan sokongan. Menurut laporan tentang repositori itu, bahan berkenaan merangkumi artifak bukti, pustaka Lean dan katalog pemformalan, serta ringkasan penaakulan ringkas bagi 10 hasil. Bahan ini membolehkan sebahagian kerja diperiksa dengan lebih mudah, tetapi ringkasan yang tersedia tidak menerangkan sepenuhnya proses penyelesaian masalah bagi setiap manuskrip. 17
Sejauh mana Lean mengesahkan hasil matematik?
Bukan kesemua 722 manuskrip mempunyai pemformalan Lean. Laporan menyatakan kira-kira separuh daripada hasil telah disahkan secara formal menggunakan Lean, manakala laporan lain menyebut bahawa pemformalan tersedia bagi banyak—tetapi bukan semua—makalah. 17
Lean ialah pembantu bukti: apabila bukti dan pernyataannya dikodkan dalam sistem itu, Lean boleh menyemak sama ada bukti formal tersebut mengikuti andaian formal yang diberikan. Ini semakan yang berguna terhadap hujah yang telah dikodkan. Namun, Lean tidak dapat menentukan dengan sendirinya sama ada pernyataan formal itu sepadan dengan masalah matematik yang dimaksudkan, sama ada hasil itu benar-benar baharu atau sejauh mana kepentingannya.
Jadi, penting untuk membezakan antara bukti formal yang disemak mesin dengan penilaian ilmiah yang lebih luas terhadap sesuatu manuskrip. Semakan mesin boleh mengukuhkan keyakinan terhadap hujah yang telah diformalkan. Namun, ahli matematik masih perlu menilai takrif, konteks, hasil terdahulu dan kepentingannya.
Mengapa dakwaan Navier–Stokes terdahulu masih relevan
Pada September, OpenAI berkata sistem dalamannya telah menghasilkan penyelesaian kepada masalah kewujudan dan kelicinan Navier–Stokes, lalu menerbitkan bukti bertulis serta pemformalan Lean. 2 Pengumuman itu mencetuskan penelitian tentang sama ada hasil tersebut benar-benar menjawab masalah seperti yang difahami ahli matematik, selain persoalan tentang peranan dan pengiktirafan terhadap hasil kerja penyelidik manusia.
Laporan menyebut usaha terdahulu itu melibatkan sekumpulan besar ejen AI dan kos pengkomputeran berjuta-juta dolar. Maklumat tersebut merujuk kepada usaha Navier–Stokes—bukan kos menghasilkan koleksi manuskrip yang diterbitkan pada Oktober. Bahan yang dirujuk di sini tidak menetapkan jumlah pengkomputeran atau kos keseluruhan bagi kumpulan baharu itu.
Sejarah tersebut menimbulkan soalan praktikal tentang penerbitan baharu ini: Apakah hasil terdahulu yang menjadi asas kepada setiap penemuan? Bagaimanakah model memilih dan mengusahakan masalah? Apakah sumbangan manusia yang terlibat? Manuskrip dan bahan sokongan yang diterbitkan boleh menjadi titik mula, tetapi bukti yang tersedia di sini tidak menjawab soalan-soalan itu secara menyeluruh bagi setiap hasil.
Ketelusan, reaksi dan langkah seterusnya
OpenAI berkata pihaknya mendapatkan pandangan daripada Advisory Group on Mathematics and Artificial Intelligence yang bebas, bernaung di Institute for Advanced Study, dan menggunakan nasihat serta saranan awam kumpulan itu untuk membantu membentuk cara penerbitan ini dibuat. Saranan kumpulan tersebut menyentuh cara hasil matematik baharu patut disemak dan disampaikan kepada umum. 4
Setakat ini, reaksi yang dilaporkan tidak sehaluan. Ada ahli matematik yang melihat jumlah hasil kerja dan ketersediaan bukti yang disemak mesin sebagai sesuatu yang berpotensi penting. Yang lain menekankan perlunya memastikan keaslian, pengiktirafan sumbangan dan kepentingan hasil, serta kesukaran menilai begitu banyak manuskrip dalam satu masa.
OpenAI berkata syarikat itu akan membiayai bengkel, persidangan dan program lain berkaitan hasil tersebut. Laporan juga menyebut hasrat untuk menerbitkan model dalaman itu kepada umum, tetapi sumber yang tersedia di sini tidak menetapkan jadual yang muktamad.
Buat masa ini, penilaian paling berasas ialah bahawa ini merupakan penerbitan penyelidikan yang besar dan wajar diteliti dengan cermat, hasil demi hasil. Jumlah manuskrip bukan jumlah penemuan yang telah disahkan secara bebas; liputan Lean pula, walaupun berguna, tidak menyelesaikan persoalan tentang kebaharuan, konteks atau kepentingan.
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 "722 manuskrip matematik OpenAI: apa yang Lean boleh sahkan—dan apa yang tidak?"?
Pada 6 Oktober, OpenAI menerbitkan 722 manuskrip dalam 372 keluarga hasil berkaitan, dengan dakwaan bahawa koleksi itu mengandungi penyelesaian atau kemajuan bagi banyak masalah matematik terbuka.
What are the key points to validate first?
Pada 6 Oktober, OpenAI menerbitkan 722 manuskrip dalam 372 keluarga hasil berkaitan, dengan dakwaan bahawa koleksi itu mengandungi penyelesaian atau kemajuan bagi banyak masalah matematik terbuka. Lean boleh menyemak logik bukti yang telah diformalkan, tetapi tidak dapat menentukan sendiri sama ada sesuatu hasil itu baharu atau benar benar menjawab masalah yang dimaksudkan.
What should I do next in practice?
Dakwaan terdahulu tentang Navier–Stokes menimbulkan persoalan tentang proses, sumbangan manusia dan ketelusan.
Sources
openai.comSharing AI progress in mathematics
letsdatascience.comletsdatascience.com · news · openai-publishes-722-aiOpenAI Publishes 722 AI Mathematics Manuscripts