moro: For 3/4 måneder siden kjørte jeg o3 for noen akademikere på et sett med AIME-lignende problemer. Det har tatt dem så lang tid å skrive en oppsummering av resultatene (96% irrc) at Alex løste bevis & IMO i mellomtiden lol
@littmath That said, unclear if proof will be solved by the time they ever release that draft
208,96K