plezier: 3/4 maanden geleden liep ik o3 voor een aantal academici over een reeks AIME-achtige problemen. Het heeft hen zo lang gekost om een samenvatting van de resultaten te schrijven (96% irrc) dat Alex in de tussentijd het bewijs heeft opgelost & IMO lol

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