Questo è pazzesco! Una startup di 4 mesi, Axiom, fondata da @CarinaLHong, ha risolto 9/12 problemi di matematica nel Putnam, che è molto più difficile dell'IMO!