fun: 3/4 months ago I ran o3 for some academics on a set of AIME-style problems. It has taken them so long to write a summary of results (98%) that Alex solved proof+IMO in the meantime lol
144