Berkongsi kemajuan AI dalam matematik

OpenAI menerbitkan hasil baharu tentang masalah matematik terbuka daripada model frontier dalaman dan berkongsi pemformalan bukti Lean serta butiran penyelidikan di GitHub.

Bahasa sumber asal · Inggeris

Disemak · 10 Oktober 2026