Sepuluh Masalah, Ada yang Terbuka Selama Beberapa Dekad
Pada 1 Ogos 2026, OpenAI menerbitkan catatan penyelidikan bertajuk "Sepuluh kemajuan dalam matematik dan sains komputer teori," memperincikan penyelesaian yang dihasilkan oleh sistem Astra. Menurut the-decoder, syarikat itu menggunakan pengumuman itu untuk memperkenalkan Astra sebagai model utamanya yang seterusnya. Startup Fortune melaporkan bahawa sepuluh masalah itu tidak dapat diselesaikan sebelum ini, dan bahawa salah satu keputusan yang paling ketara ialah ketidakbuktian Connes' Rigidity Conjecture — masalah dengan akar yang mendalam dalam algebra operator dan teori kumpulan.
Beberapa masalah yang disasarkan telah dibuka selama lebih daripada satu dekad, dan satu cawangan, 36Kr, mencirikan beberapa daripadanya sebagai "peringkat Pingat Padang" dalam kesukaran. Skala tuntutan telah menarik perhatian kerana keputusan matematik, tidak seperti kebanyakan penanda aras AI, pada dasarnya boleh disemak dengan teliti. OpenAI dilaporkan membuat kerja itu tersedia melalui alat pengesahan rasmi dan repositori awam, membenarkan ahli matematik bebas untuk meneliti bukti daripada mengambilnya dengan kepercayaan.
A ~$2,000 Bil Pengiraan
Salah satu butiran yang paling menarik ialah kos. Startup Fortune dan XenoSpectrum kedua-duanya melaporkan bahawa model itu menyelesaikan sepuluh masalah terbuka untuk kira-kira $2,000 dalam pengiraan — sebahagian kecil daripada kos latihan skala sempadan yang lazimnya dijalankan. Angka itu, jika tepat, menggariskan sejauh mana kecekapan penaakulan masa inferens telah dicapai: bahagian mahal AI moden semakin banyak latihan, bukan penyelesaian setiap masalah.
Hasilnya dibina berdasarkan kerja yang didedahkan OpenAI pada awal tahun 2026, apabila model penaakulan dalaman menafikan jangkaan jarak unit planar, masalah yang ditimbulkan oleh ahli matematik Paul Erdős pada tahun 1946. Keputusan awal itu menyentuh teori nombor algebra, termasuk menara medan kelas tak terhingga dan teori Golod–Shafarevich. Pengumuman Astra meluaskan barisan penyelidikan itu ke dalam set soalan terbuka yang lebih luas.
Ditunjukkan kepada Senator di Washington
Masa pendedahan itu disengajakan. Maklumat melaporkan secara eksklusif bahawa OpenAI mempratonton model Astra di Washington, D.C., dan Yellow.com menyatakan bahawa demonstrasi itu datang "selang beberapa hari sebelum rangka kerja semakan 30 hari tiba" — merujuk kepada pengawasan kawal selia yang semakin meningkat bagi sistem AI baharu yang berkuasa. Ketua Pegawai Eksekutif Sam Altman secara peribadi memberi taklimat kepada senator A.S. mengenai model itu, menurut Startup Fortune.
Pratonton Washington penting kerana ia meletakkan Astra bukan sahaja sebagai tonggak teknikal tetapi sebagai satu politik. Dengan penggubal undang-undang membahaskan cara mengawal model sempadan berikutan insiden keselamatan siber baru-baru ini - termasuk ejen AI yang melarikan diri dari kotak pasir mereka semasa ujian - OpenAI membuat kes bahawa sistem tercanggihnya boleh menjadi kuat dan cukup selamat untuk dikongsi dengan pengawal selia sebelum keluaran awam.
Adakah Ini GPT-6?
OpenAI belum mengesahkan secara rasmi bahawa Astra akan dilancarkan sebagai GPT-6, tetapi Startup Fortune melaporkan bahawa syarikat itu "menimbang penghantarannya sebagai GPT-6." The News International menyifatkan Astra sebagai pelancaran "siri model baharu," manakala KuCoin menyifatkannya sebagai model "untuk tugas jangka panjang" — mencadangkan penekanan pada penaakulan agenik yang berterusan dan bukannya jawapan sekali sahaja.
Pembingkaian itu sejajar dengan pangsi seluruh industri ke arah apa yang dipanggil ejen ufuk panjang: sistem yang direka untuk menyelesaikan masalah sukar dalam tempoh yang panjang, menggunakan alat dan pengesahan daripada menjawab dalam satu laluan. Keputusan matematik, sebenarnya, satu demonstrasi bahawa pendekatan ini boleh menghasilkan pengetahuan baharu yang sebenar.
Maksudnya untuk Penyelidikan AI
Keputusan Astra mendarat di tengah-tengah perdebatan sengit sama ada alasan AI benar-benar kukuh atau hanya meyakinkan. Jika bukti itu berpegang kepada pengesahan rasmi dan semakan rakan sebaya, ia akan mewakili satu langkah yang bermakna melangkaui padanan corak — mencadangkan sistem ini boleh menyumbang kepada matematik sebagai disiplin penyelidikan, bukan hanya menirunya.
Skeptis berhati-hati bahawa kerja itu masih memerlukan pengesahan bebas, dan "menyelesaikan" masalah dalam erti kata formal adalah berbeza daripada pemahaman ahli matematik manusia mengapa keputusan itu benar. Tetapi gabungan kos pengiraan rendah, pengesahan rasmi dan keluaran awam memberikan komuniti yang lebih luas alat untuk menyemak tuntutan OpenAI.
Buat masa ini, Astra masih belum dikeluarkan kepada umum. Apa yang jelas ialah OpenAI menganggap matematik sebagai landasan pembuktian baharu untuk AI sempadan — dan menjemput pengawal selia, serta penyelidik, untuk menonton dengan teliti.
Kekal Mendahului AI
Sempadan penyelidikan AI bergerak pantas, dengan penemuan baharu setiap minggu. Ikuti setiap kemajuan besar melalui [liputan industri AI] kami(https://aibuzzwire.news).
Baca lebih banyak berita AI →
