C'est fou ! Une startup de 4 mois, Axiom, fondée par @CarinaLHong, a résolu 9/12 des problèmes de mathématiques au Putnam, qui est bien plus difficile que l'IMO !