AI heeft net een perfecte score behaald op de moeilijkste wiskundewedstrijd ter wereld. De Putnam heeft 12 problemen x 10 punten. De hoogste score van vorig jaar was 90. De mediaan? 0. Axiom's AI-prover in Lean scoorde 120/120 en heeft net alle oplossingen gedeeld. Grote mijlpaal voor AI in Wiskunde.
Bron:
165