leuk: 3/4 maanden geleden heb ik o3 uitgevoerd voor enkele academici over een set AIME-stijl problemen. Het heeft zo lang geduurd voordat ze een samenvatting van de resultaten hebben geschreven (96% als ik me goed herinner) dat Alex ondertussen bewijs en IMO heeft opgelost lol

@littmath Dat gezegd hebbende, het is onduidelijk of het bewijs opgelost zal zijn tegen de tijd dat ze die conceptversie ooit uitbrengen.