Wir könnten uns in eine Wendung der Geschichte im Saga von OpenAI vs. DeepMind IMO bewegen. Gerade einen Beitrag von Joseph Myers gesehen (seit 1992 an der Mathematik-Olympiade beteiligt): Der IMO-Ausschuss hat Berichten zufolge die KI-Labore gebeten, ihre Ergebnisse erst 7 Tage nach der Abschlusszeremonie zu veröffentlichen — aus Respekt vor den menschlichen Teilnehmern (siehe meinen Beitrag von gestern) und wahrscheinlich, um Zeit für eine ordnungsgemäße Überprüfung der KI-Einreichungen und -Formate zu ermöglichen. Laut Joseph hat OpenAI nicht mit der IMO zusammengearbeitet, um ihr Modell zu testen, und keiner der 91 offiziellen IMO-Koordinatoren war an der Bewertung ihrer Lösungen beteiligt. In der Zwischenzeit scheint DeepMind die Regeln zu befolgen und geduldig auf ihre Chance zu warten. Zur Einordnung: Die IMO hat 6 Probleme, jedes davon 7 Punkte wert. Der Gold-Cutoff in diesem Jahr liegt bei 35 Punkten. Selbst eine kleine Abwertung könnte OpenAI auf Silber zurückwerfen. Und nach meinem Verständnis ihrer Berichte könnten einige Teile Fragen aufwerfen — und möglicherweise Punkte kosten. Terence Tao hat auch darauf hingewiesen, dass, während die Probleme gleich bleiben, die Testformate wichtig sind. Ein Schüler, der unter Standardbedingungen kein Bronze erhalten würde, könnte mit einem modifizierten Setup Gold erreichen — was echte Fragen darüber aufwirft, was "die IMO zu lösen" für KI bedeutet. Nächste Woche könnte es spannend werden. Bleiben Sie dran.

DeepMind erhielt am Freitagnachmittag eine Goldmedaille bei der IMO. Aber sie mussten warten, bis das Marketing den Tweet genehmigte – bis Montag. @OpenAI teilte ihren zuerst um 1 Uhr morgens am Samstag und stahl die Show. In diesem Spiel gilt: Geschwindigkeit > Bürokratie. Verpasse den Moment, verliere die Erzählung.

Vor nur 20 Minuten wurde das Ergebnis der IMO 2025 veröffentlicht. China belegte den 1. Platz und @GoogleDeepMind gewann eine Goldmedaille 🥇 Zukünftige Mathematikwettbewerbe werden China-Team gegen USA-Chinesisches Team gegen KI sein.

Mit dem Wachstum von KI-Modellen wird die Optimierung für FLOPS/$ (Rechenleistung pro Dollar) entscheidend. Sieh dir an, wie Hyperbolic deine GPU-Kosten unten optimieren kann 🧵

Was halten Sie von dieser Billboard-Idee für Hyperbolic?

Wir haben gerade unser Reserved GPUs Instant Quote gestartet: perfekt für KI-Teams, die über längere Zeiträume hinweg dedizierte Rechenleistung benötigen. Erhalten Sie sofortige Preisangaben für Ihre genauen Infrastrukturbedürfnisse direkt in unserer App!

Gerade von der Arbeit gekommen und habe Grok-4 an einem Topologie-Problem für Studenten ausprobiert. Es hat 9 Minuten gedauert, um nachzudenken, und dann hat es selbstbewusst eine saubere, plausible, aber völlig falsche Antwort gegeben 😅 Ich denke nicht, dass das hier als "geschickt adversarial" qualifiziert. KI-Modelle zertrümmern Benchmarks – aber es ist noch ein weiter Weg bis zur echten mathematischen AGI.

Grok hat die volle Punktzahl beim AIME erreicht 🤯 Wir brauchen jetzt definitiv einen besseren Mathematik-Benchmark für KI.

Das beste Open-Source-Reasoning-Modell wird nächsten Donnerstag veröffentlicht, wenn alles gut läuft. OpenAI hat seit GPT-2 im Jahr 2019 kein LLM mehr als Open Source veröffentlicht, also bin ich gespannt. Wir hosten es auf Hyperbolic. Macht euch bereit.

Die Zukunft der KI ist kollaborativ