Spaß: Vor 3/4 Monaten habe ich o3 für einige Akademiker zu einer Reihe von AIME-Stil-Problemen durchgeführt. Es hat so lange gedauert, eine Zusammenfassung der Ergebnisse (98%) zu schreiben, dass Alex in der Zwischenzeit den Beweis+IMO gelöst hat, lol.
81