kul: För 3/4 månader sedan körde jag o3 för några akademiker på en uppsättning AIME-liknande problem. Det har tagit dem så lång tid att skriva en sammanfattning av resultaten (96% irrc) att Alex löste bevis och IMO under tiden lol

@littmath Som sagt, oklart om bevisen kommer att lösas när de någonsin släpper det utkastet