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 the results (96% irrc) that Alex solved proof & IMO in the meantime lol
@littmath That said, unclear if proof will be solved by the time they ever release that draft
86,72K