Qwen3-Coder-480B-A35B-Instruct + @hyperbolic_labs ist jetzt in anycoder für Vibe-Coding verfügbar.

Ich freue mich, der Erste zu sein, der das beste Codierungsmodell Qwen3-Coder auf @huggingface hostet! Vielen Dank für euer Vertrauen, @Alibaba_Qwen @JustinLin610 @huybery 💜

Was für ein wildes Wochenende über KI und IMO. Wenn ich auf die letzten 3 Tage zurückblicke, habe ich Folgendes erlebt: > Freitagnachmittag: geleakte Informationen darüber, dass DeepMind Gold gewonnen hat > Samstag um 1 Uhr: OpenAI hat die offizielle Ankündigung vorweggenommen und die Aufmerksamkeit gestohlen > Zunächst dachte ich, Google sei einfach nur langsam wegen der Marketinggenehmigung > Dann hörte ich von Google-Mitarbeitern, dass IMO und sie selbst zusätzliche Zeit für die Überprüfung benötigten > Es stellte sich heraus, dass OpenAI IMO nicht einmal offiziell einbezogen hat > Montag: DeepMind bestätigte ihr Gold mit klareren und ästhetischeren Antworten, die vollständig von der IMO verifiziert wurden Es war lustig, am letzten Freitag die ersten Neuigkeiten auf X zu teilen. Was für ein wildes Wochenende! Scherze beiseite, es gibt momentan viel Hype um mathematische KI, aber was wir mehr brauchen, ist Strenge und Standardisierung. Wie Terence Tao betonte, können Unterschiede im Testformat, auch wenn die Ergebnisse ähnlich aussehen, einen großen Unterschied machen. Wir sind noch weit davon entfernt, klare, konsistente Standards und Botschaften in der KI-Forschung zu haben. Wenn wir bedeutende Fortschritte erzielen wollen, ist es an der Zeit, dass die Gemeinschaft aktiv wird. Lassen Sie uns Benchmarks erstellen, denen wir alle vertrauen können.

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.