Herzlichen Glückwunsch an das GDM-Team zu ihrem IMO-Ergebnis! Ich denke, ihr paralleler Erfolg hebt hervor, wie schnell der Fortschritt in der KI ist. Ihr Ansatz war ein wenig anders als unserer, aber ich denke, das zeigt, dass es viele Forschungsrichtungen für weiteren Fortschritt gibt. Einige Gedanken zu unserem Modell und unseren Ergebnissen 🧵

Vor etwa 2 Monaten hat uns die IMO eine E-Mail geschickt, in der sie uns zur Teilnahme an einer formalen (Lean) Version der IMO einluden. Wir haben uns auf allgemeines Denken in natürlicher Sprache konzentriert, ohne die Einschränkungen von Lean, daher haben wir abgelehnt. Uns wurde nie eine Option für mathematische Inhalte in natürlicher Sprache angeboten.

In den letzten Monaten haben wir große Fortschritte im allgemeinen Denken gemacht. Dies beinhaltete das Sammeln, Kuratieren und Trainieren mit hochwertigen Mathe-Daten, die auch in zukünftige Modelle einfließen werden. In unserer IMO-Bewertung haben wir RAG oder irgendwelche Tools nicht verwendet.

Bevor wir unsere Ergebnisse teilten, sprachen wir mit einem Mitglied des IMO-Vorstands, das uns bat, bis nach der Preisverleihung zu warten, um es öffentlich zu machen, eine Bitte, die wir gerne erfüllten.

Wir haben um ~1 Uhr PT (18 Uhr AEST) nach Abschluss der Preisverleihung angekündigt. Zu keinem Zeitpunkt hat jemand darum gebeten, dass wir später ankündigen.

Mehr als alles andere sind wir begeistert, unsere Fortschritte und Ergebnisse mit der Welt zu teilen. Die KI-Argumentationsfähigkeiten entwickeln sich schnell weiter, und diese IMO-Ergebnisse zeigen das wirklich.