FlashProve: Zahlen und Grenzen
Der Anbieter veröffentlicht vorab eine Verpflichtung (Commitment) auf die Gewichte, jede Antwort bekommt einen Beweis, der nichts über die Gewichte verrät. Der Aufwand skaliert mit den rund 17 Mrd. aktiven Parametern des 400B-MoE, Beweise entstehen nachträglich im Batch und schichtweise auf einer GPU.
Messwerte (Llama 4 Maverick, 4 Bit, eine H100): etwa 110 Token/s beim Beweisen, rund 19 MB Beweis je 1.024-Token-Anfrage, Prüfung in etwa 17 s auf einer 24-Thread-CPU. Gebraucht werden eine 80-GB-GPU und rund 290 GB Hauptspeicher; das Commitment (39 min) gilt für etwa 16 Mio. Anfragen.
Grenzen: nur Greedy-Decoding auf ganzzahligen Gewichten, Kontext 1.024 Token, Architektur bleibt sichtbar. Prover, C++- und Lean-Verifier stehen unter Apache 2.0. Interessant für alle, die Modelle über Router oder Drittanbieter beziehen: Man könnte prüfen, ob wirklich das bezahlte Modell antwortet.
CloudOpsBench: Agenten schaffen 60 % der AWS-Aufgaben
Ein Team um Ang Chen (University of Michigan) hat einen offenen Benchmark für Cloud-DevOps-Agenten veröffentlicht: 45 von DevOps-Leuten geschriebene AWS-Aufgaben wie Dienste reparieren, Rechte einschränken, Updates ausrollen, Projekte stilllegen – identisch auf echtem AWS und im Emulator. GCP, Azure und OCI sollen folgen.
Bestwerte laut The Decoder: Claude Fable 5.1 60 %, GPT-6 Astra 53 %. Rund 80 % der Fehler sind Denkfehler (Umfang falsch eingeschätzt, Dienste nicht geprüft, zu früh aufgehört), etwa 20 % falsche Aktionen – teils mit nicht umkehrbaren Folgen für die Infrastruktur.
Claude-Wasserzeichen: Sampling-Lücke gilt auch für die zweite Welle
Anthropic weitet das Text-Wasserzeichen am 16.11. auf Opus 4.6, Opus 4.5, Sonnet 4.5 und Haiku 4.5 aus (Bedrock ggf. einige Tage später). Wie schon bei Opus 4.6 und Sonnet 4.6 greift es dort nur, wenn temperature, top_p und top_k auf Standard bleiben – ändert man einen Wert, fehlt es womöglich.
Für Mythos 5 und Opus 4.7 nennt Anthropic diese Einschränkung nicht. Abschalten lässt sich das Wasserzeichen nicht; eine Erkennungs-API ist in privater Vorschau.
Anknüpfung an: Claude-Wasserzeichen mit Lücke (01.11.), Claude-Wasserzeichen: was im Betrieb zählt (01.11.)
OpenAI kauft Pierre, ChatGPT macht GIFs
OpenAI übernimmt die Pierre Computer Company, die hinter Code Storage und mehreren Open-Source-Entwicklerwerkzeugen steht, um seine Coding-Werkzeuge zu stärken; die Behörden müssen noch zustimmen. OpenAIs eigene Mitteilung war für uns nicht abrufbar (HTTP 403).
Außerdem erzeugt ChatGPT jetzt animierte GIFs aus Text oder Fotos, auf Basis des neuen Bildmodells Images 2.6; die Funktion wird für alle ausgerollt.