100 Mathe-Rätsel gelöst? 27 Fields-Medaillen widersprechen

Heute an Bord

• 100 MATHE-PROBLEME, 27 FIELDS-MEDAILLEN: das Modell hinter der Navier-Stokes-Lösung hat laut OpenAI inzwischen über 100 lange offene Probleme gelöst. 27 Fields-Medaillenträger, darunter Terence Tao und Peter Scholze, warnen: das Wettrennen um gelöste Probleme schadet der Mathematik. OpenAI gründet einen unabhängigen Beirat mit 9 Mathematikern. Einordnung: „Über 100' ist OpenAIs eigene Zählung, und beim Tempo berät der Beirat ausdrücklich nicht.
• Selbstverbesserung: OpenAI schlägt weltweite Standards für KI vor, die an KI mitbaut, ausdrücklich ohne Lizenzen und ohne Pflichtprüfung. Alibaba meldet 33 vollautomatische Durchläufe für Qwen3.8-Max. Finanzminister Bessent sagt: Menschen haften, nicht die KI. USA und China starten einen KI-Dialog mit Vorfall-Leitung.
• GROK 4.7 GEGEN MIMO-V2.6: Grok 4.7 kostet 2 und 6 Dollar pro Million Token und landet bei Artificial Analysis bei 46 Punkten, beim Terminal-Coding bei 26 statt der angegebenen 38 Prozent. Xiaomis offenes MiMo-V2.6-Pro kommt laut Xiaomi ebenfalls auf 46, unter MIT-Lizenz. Beide 7 Punkte hinter der Spitze.
• GitHub-Ecke: ai-memory, ein gemeinsames Langzeitgedächtnis für über 20 Coding-Agenten, in normalen Markdown-Dateien, MIT-Lizenz. Zweitfund: AutoClip schneidet aus langen Videos fertige Clips.
• Hermes-Funk: Claude-Abos laufen per offiziellem Plugin wieder in Hermes, experimentell und mit höherem Kontingent-Verbrauch. Dazu Release 0.21.4, ein Hintergrundprozess für alle Profile, Grok 4.7 eine Woche zum halben Preis, und der Praxis-Tipp cache_ttl: auto.
• Von der Brücke: In der Community bauen wir ein KI-Betriebssystem, ausschließlich auf Hermes-Basis. Offene Grundlage, deine Daten bleiben bei dir, das Modell tauschst du aus wie eine Glühbirne. Wer jetzt dabei ist, bestimmt mit.
• Schlagzeilen: Amazon sperrt Metas Einkaufs-Agenten Muse aus. Alibaba trainiert Qwen 4 und zeigt den Chip Zhenwu V900.