To jest szalone! 4-miesięczny startup, Axiom, założony przez @CarinaLHong rozwiązał 9/12 problemów matematycznych w Putnam, które są znacznie trudniejsze niż IMO!