AI har precis uppnått full pott på världens svåraste mattetävling. Putnam har 12 problem x 10 poäng. Den högsta poängen förra året var 90. Medianen? 0. Axioms AI-prover i Lean fick 120/120 och delade bara alla lösningar. En enorm milstolpe för AI inom matematik.
Källa:
122