Berbagi kemajuan AI dalam matematika
OpenAI menerbitkan hasil baru tentang masalah matematika terbuka dari model frontier internal dan membagikan formalisasi bukti Lean serta detail riset di GitHub.
Bahasa sumber asli · Inggris
Baca sumber asliDiperiksa · 10 Oktober 2026