Spaß: Vor 3/4 Monaten habe ich o3 für einige Akademiker zu einer Reihe von AIME-ähnlichen Problemen durchgeführt. Es hat so lange gedauert, bis sie eine Zusammenfassung der Ergebnisse geschrieben haben (96% irrc), dass Alex in der Zwischenzeit den Beweis & IMO gelöst hat, lol.

@littmath Das gesagt, unklar, ob der Beweis bis zu dem Zeitpunkt gelöst sein wird, an dem sie diesen Entwurf jemals veröffentlichen.