Berita AI: OpenAI keluarkan hasil matematik baharu, modelnya belum dibuka
Pada 6 Oktober 2026 OpenAI terbitkan satu kelompok hasil matematik dari model dalaman. Bukti sedang disemak dalam Lean. Model itu belum boleh digunakan orang ramai.
Pada 6 Oktober 2026, OpenAI menerbitkan satu kelompok hasil matematik baharu. Hasil itu dihasilkan oleh model AI dalaman syarikat, bukan model yang anda guna dalam ChatGPT hari ini.
Berita ini menarik kerana skalanya besar. Pada masa yang sama, ia mudah disalah faham. Berikut apa yang OpenAI sendiri kata, apa yang masih belum tentu, dan apa maknanya untuk pengguna biasa.
Apa yang OpenAI umumkan
Dalam catatan rasmi bertajuk Sharing AI progress in mathematics, OpenAI kata mereka mengeluarkan pelbagai hasil matematik baharu dari sebuah model frontier dalaman.
Beberapa fakta dari catatan itu:
- Hasil diterbitkan dalam repositori GitHub, bersama protokol untuk semakan dan petikan.
- Sebahagian bukti ditulis dalam Lean, bahasa pengaturcaraan yang membenarkan komputer menyemak logik sesuatu bukti. OpenAI kata mereka akan tambah lagi formalisasi Lean apabila siap.
- Mereka juga kongsi 10 ringkasan cara model berfikir, anggaran kuasa pengiraan, dan statistik bilangan masalah yang dicuba.
- OpenAI kata hasil purata menggunakan kuasa pengiraan yang lebih kurang sama dengan tiga jam pemikiran ChatGPT Pro.
- Model yang menghasilkan hasil ini belum dikeluarkan. OpenAI kata mereka sedang berusaha melepaskannya secara bertanggungjawab.
OpenAI juga kata siaran ini dibuat selepas berunding dengan Advisory Group on Mathematics and Artificial Intelligence di Institute for Advanced Study.
Angka yang dilaporkan pihak lain
The Verge melaporkan siaran itu mengandungi 722 manuskrip, meliputi 372 keluarga hasil. Scientific American melaporkan ramai ahli matematik masih perlukan masa berbulan-bulan untuk menilai sama ada bukti itu benar-benar idea baharu, atau gabungan teknik yang sudah ada.
Angka dan tafsiran itu datang daripada laporan berita, bukan daripada ayat yang OpenAI letak di halaman pengumuman. Jadi anggap ia sebagai laporan yang perlu disemak, bukan sebagai fakta yang sudah ditutup.
Apa maksudnya untuk anda
Jika anda guna AI untuk tulis, buat kandungan, atau urus kerja harian:
- ChatGPT yang anda buka hari ini bukan model ini. Jangan bayar sesiapa yang menawarkan "akses model matematik OpenAI" melalui pautan tidak rasmi.
- Ini berita sains, bukan ciri baharu dalam apl. Anda tidak perlu ubah tetapan akaun.
- Bukti yang lulus semakan Lean kuat dari segi logik, tetapi Lean tidak memberitahu kita sama ada soalan itu penting untuk kerja anda.
Nak lihat alat AI yang memang boleh dicuba sekarang? Lihat senarai di halaman Alat AI.
Sumber
- Sharing AI progress in mathematics (OpenAI)
- OpenAI drops another batch of mathematical breakthroughs (The Verge)
- OpenAI unleashes hundreds more math results upon a field already in shock (Scientific American)