AI baru saja mencapai skor sempurna pada kompetisi matematika tersulit di dunia. Putnam memiliki 12 masalah x 10 poin. Skor tertinggi tahun lalu adalah 90. Median? 0. Pembuktian AI Axiom di Lean mendapat skor 120/120 dan hanya membagikan semua solusi. Tonggak besar untuk AI dalam Matematika.
Sumber:
124