Warum freue ich mich über die IMO-Ergebnisse, die wir gerade veröffentlicht haben: - wir haben sehr wenig IMO-spezifische Arbeit geleistet, wir trainieren einfach weiterhin allgemeine Modelle - alle Proofs in natürlicher Sprache - kein Evaluierungsgurt Wir brauchten einen neuen Forschungsdurchbruch, und @alexwei_ und Team lieferten