AI baru saja memenangkan emas di Olimpiade 🥇 Matematika Internasional
OpenAI dan model Google memecahkan masalah 5/6 menggunakan LLM tujuan umum di bawah aturan ujian nyata.
Era AGI untuk matematika formal telah dimulai 👇
Memenangkan emas berarti mencetak 35/42. Ini adalah level yang dicapai hanya oleh segelintir siswa sekolah menengah elit di seluruh dunia.
Baik model OpenAI dan Google tepat sasaran.
Tidak ada kalkulator. Tidak ada pencarian. Hanya penalaran bahasa alami.
Google Gemini 2.5 menggunakan mode "Deep Think":
- Solusi yang dieksplorasi secara paralel
- Dilatih tentang strategi pembuktian dan korpus matematika
- Menggunakan pembelajaran penguatan pada tugas penalaran multi-langkah
Buktinya sangat halus, penilai IMO menyebutnya dapat diterbitkan.
Model OpenAI tidak dilatih untuk IMO.
Ini menggunakan:
- Teknik RL umum
- Tidak ada internet atau alat
- Bukti bahasa alami
OpenAI memiliki setiap bukti yang dinilai secara independen oleh 3 mantan peraih medali IMO, dengan konsensus bulat.
Model bahkan tahu ketika tidak memiliki jawaban yang valid untuk P6 ... menunjukkan keterampilannya dalam penalaran, pengecekan kesalahan, dan kesadaran diri.
Kami percaya dampak terbesar AI mungkin terletak pada matematika.
Mengapa? Karena matematika mendukung segalanya mulai dari logika DeFi hingga keamanan protokol, dan itu dapat diverifikasi.
AI yang bernalar seperti Fields Medalists akan membentuk kembali cara kita membangun.
Di tahun-tahun mendatang, kami mengharapkan AI untuk:
• Matematika tingkat sekolah menengah dan perguruan tinggi yang sempurna (IMO, Putnam)
• Memecahkan masalah penelitian lanjutan
• Berkontribusi pada pembuktian formal dari teorema dasar
• Skalakan matematika kolaboratif dan terdesentralisasi
Kami melihat masa depan di mana matematika tidak hanya otomatis, tetapi juga demokratisasi, tanpa kepercayaan, dan dapat dikomposisikan. 💙
3,22 rb
72
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.