Warum ich mich über die gerade veröffentlichten IMO-Ergebnisse freue: - Wir haben sehr wenig IMO-spezifische Arbeit geleistet, wir trainieren einfach weiterhin allgemeine Modelle. - Alle Beweise in natürlicher Sprache. - Kein Evaluierungsrahmen. Wir benötigten einen neuen Forschung Durchbruch und @alexwei_ und das Team haben geliefert.