-
Red Queen Gödel Machine: Cambridge und NVIDIA lassen den KI‑Richter mit dem Agenten weiterentwickeln
Jedes selbstverbessernde KI‑System ist bisher am selben Schicksal gestorben: Der Agent verbessert sich, der Evaluator, der ihn bewertet, bleibt unverändert, und sobald der Agent alles beherrscht, was der Test unterscheiden kann, stagniert der Fortschritt. Der Richter ist die Obergrenze. Die Red Queen Gödel Machine — ein Forschungs‑Framework von 13 Forschern an Cambridge, NVIDIA, Flower Labs, MBZUAI,…
-
MathCode erzielt 91 Punkte bei Hacker News: plain-English-Mathematik rein, Lean 4‑Beweise raus
KI, die Mathematik beweist, ist die heißeste Storyline des Jahres 2026 — Versuche zur Riemann‑Vermutung, fallende Erdős‑Probleme, OpenAI’s Astra. All das ist in Frontier Labs verschlossen. MathCode ist das Bauteil, das Sie tatsächlich installieren können. Es ist ein Open-Source-Terminal-Agent von math‑ai‑org. Beschreiben Sie einen Satz in einfachem Englisch; es schreibt die Lean 4‑Formulierung und arbeitet …
-
Die AI Credit Resale Economy（token 倒爷经济）: Broker drehen AI‑Credits mit 40 % Rabatt, $100 K pro Tag
Eine neue Untersuchung von Vectoral, durchgeführt von Matt Lenhard, kartiert einen Graumarkt, den die meisten KI‑Anbieter so tun, als existiere er nicht: „Token‑Broker“, die ungenutzte KI‑Guthaben – Startup‑Zuschüsse, Bildungsrabatte, regionale Preis‑Arbitrage, übrig gebliebene Unternehmens‑Kontingente – aufkaufen und sie an Nutzer mit hohem Volumen zu 30–50 % unter dem Listenpreis weiterverkaufen. Ein Broker bot einen täglichen Umsatz von 100 000 $ an. Lenhard…
-
Modelle werden absichtlich dümmer: Der Blogbeitrag, der in Stunden 288 Punkte auf HN erreichte
288 Punkte, 163 Kommentare, und es traf den empfindlichsten Nerv in der KI gerade jetzt: das kollektive Gefühl, dass Modelle immer schlechter werden. Das eigentliche Argument: Labore tauschen Fakten gegen Argumentation aus. „Models Are Getting Dumber on Purpose“ ist ein Blog-Essay des Entwicklers Walter van der Giessen – kein Tool, sondern eine Analyse. Seine Behauptung:…
-
Anthropic veröffentlicht die offiziellen System‑Prompts von Claude — und Entwickler vergleichen Opus 4.8 mit Opus 5
Die Jailbreak-Community hat zwei Jahre damit verbracht, diese zu GitHub zu leaken. Anthropic veröffentlicht sie einfach. Es ist eine Dokumentationsseite, nichts weiter: ein laufendes Änderungsprotokoll der tatsächlichen System-Prompts, die an claude.ai sowie die Claude‑iOS‑ und Android‑Apps ausgeliefert wurden, Eintrag für Eintrag, von Claude 3 im Juli 2024 bis Opus 5 am 24. Juli 2026. 450…
-
Stripe übernimmt OpenRouter für $7B+ — das 5-fache der Bewertung, die es vor drei Monaten erhalten hat.
OpenRouter hat im Frühjahr 2026 eine Series‑B‑Finanzierungsrunde über 113 Mio. $ abgeschlossen, bei einer Bewertung von etwa 1,3 Mrd. $. Stripe zahlt jetzt über 7 Mrd. $. Dieselbe Firma, dasselbe Produkt, ein Quartal Unterschied. Ein API‑Key, über 400 Modelle. OpenRouter ist weder eine App noch ein Agent. Es ist ein Gateway: ein einzelner OpenAI‑kompatibler Endpunkt, der über 400 Modelle von mehr als 70 Anbietern bereitstellt, mit automatischem Failover…
-
Anthropics eigener Leitfaden zum Sparen von Claude Code‑Token gibt zu, dass die lange Sitzung die teure ist.
310 Punkte bei Hacker News für einen Blog‑Beitrag ohne Produkt. Anthropic hat endlich erklärt, wie Claude Code tatsächlich abrechnet, und die Überschriften‑Zahl ist unangenehm: Alles in einer Session wird bei jedem späteren Turn erneut gesendet. Die Datei, die du vor zwanzig Turns gelesen hast, wird immer noch bezahlt. Die Mechanik, die sie…
-
Auto-Research mit Codex: 232-fach schnellerer QR-Kernel (GPU-Mode-Contest) — der Harness erledigte die Arbeit, nicht das Modell.
419.000 Mikrosekunden auf 1.805 reduziert. Das ist eine batchweise FP32 QR-Faktorisierung auf einem B200, und kein Mensch hat den Sieger‑Kernel geschrieben. Was das tatsächlich ist: kein Produkt – ein reproduzierbares Agent‑Setup. Entwickler Sankalp nahm am Auto-Research-Contest von GPU Mode teil (batchweise quadratische compact-Householder-QR, passend zu torch.geqrf) und richtete den Long-Loop‑Modus von GPT-5.5 Codex’s /goal darauf.…
-
129.000 Sterne und immer noch +890 pro Tag: github/spec-kit hat die Spec in den Prompt verwandelt.
Die meisten Repositories dieser Größe haben stagnierte. github/spec-kit sammelt immer noch etwa 892 Sterne an einem einzigen Tag, was zeigt, dass die spec‑getriebene Idee kein vorübergehendes Phänomen ist. Was es tatsächlich ist, ist ein CLI‑Toolkit — specify — plus Vorlagen und Skripte. Keine gehostete API, kein eigenes Modell. Du installierst es, und es legt ein…
-
Writer Palmyra X6 + Agent-Harness-Upgrade: $2/M‑Eingabe gegenüber Claude Opus 4.8’s $15
Writer hat am 13. August Palmyra X6 ausgeliefert, und die entscheidende Zahl ist kein Benchmark. Sie beträgt 2 $ pro Million Eingabetoken und 8 $ für die Ausgabe. Claude Opus 4.8 kostet 15 $/75 $. GPT-5.5 kostet 5 $/15 $. Noch interessanter: X6 wurde nicht von Grund auf neu trainiert. Es ist eine Post-Training-Variante von GLM-5.2, dem Open-Weight-Modell von Z.ai aus Peking. Writer ist offen…