Isto é louco! Uma startup com 4 meses, Axiom, fundada por @CarinaLHong resolveu 9/12 problemas de matemática no Putnam, que é muito mais difícil do que o IMO!