Laporan AI · OpenAI · 2026-10-06 · Blog / komentar
Membagikan kemajuan AI dalam matematika
Judul asli: Sharing AI progress in mathematics
OpenAI telah menerbitkan hasil baru mengenai masalah terbuka dalam matematika dari sebuah model frontier internal. OpenAI juga membagikan formalisasi bukti Lean dan rincian penelitian di GitHub.