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 Når det er sagt, uklart om bevisene vil være løst når de noen gang slipper det utkastet
86,69K