OPINION
Axiom Math résout l'examen Putnam en entier et vise le raisonnement formel
La startup Axiom, fondée il y a sept mois, a résolu les 12 problèmes du prestigieux Putnam exam, surpassant DeepSeek et les meilleurs étudiants.
Latent Space (Swyx)·RJ Honicky·3 juin 2026
Image · Source originale
En 2025, la startup Axiom a obtenu un score parfait de 12/12 au Putnam, examen de mathématiques réputé pour sa difficulté extrême (médiane habituelle : 0 ou 1 point), devançant DeepSeek (103/120) et les meilleurs candidats humains. Sa CEO Carina Hong considère néanmoins la performance en code comme une condition nécessaire mais insuffisante vers l'AGI, identifiant le raisonnement mathématique formel vérifié comme le prochain verrou stratégique.
Chaleur 2
Pertinence 78
Nouveauté 65