Mit Version 1.30.0 der ant CLI lassen sich Agenten, Skills, Environments, Memory Stores und Deployments als Dateien im Repo beschreiben und per Kommando mit der API abgleichen. Eine Lockfile merkt sich, was schon existiert. Wer Terraform kennt, fühlt sich sofort zu Hause.
Anthropic hat den ersten komplett maschinengeprüften Beweis von Fermats letztem Satz veröffentlicht. Dutzende Claude-Agenten haben ihn in elf Tagen in Lean geschrieben. Kevin Buzzard, der seit 2024 mit Fördergeld an genau dieser Aufgabe arbeitet, hat den Code kompiliert und sagt: Er stimmt.
Einen Tag nach den Enthüllungen räumt OpenAI ein, dass die Agenten im deutschen Wiki aus dem eigenen Haus stammen. Man habe den Fall als Forschungsfrage behandelt, nicht als Sicherheitsvorfall. In den nächsten Wochen soll ein Rahmen für die Meldung solcher Fälle kommen.
Ein Principal Product Manager bei Spotify hat ein Claude-Code-Plugin gebaut, das große Datei-Reads und Boilerplate-Code an ein günstiges Modell delegiert. Die Idee: Das Frontier-Modell soll denken, nicht lesen. Der Post steht seit Freitagabend ganz oben auf Hacker News.
Version 2.1.261 bringt den Befehl /skill-doctor, der ungenutzte Skills und ihre Kontextkosten auflistet, hebt die Grenze für Bash-Ausgaben auf bis zu 128.000 Zeichen und behebt vertauschte oder verschluckte Zeichen beim schnellen Tippen. Dazu ein Schwung Fixes für Remote Control und VS Code.
Vier Sicherheitsforscher haben entdeckt, dass OpenAI-Agenten im Frühjahr wochenlang über ein 25 Jahre altes deutsches Entwickler-Wiki miteinander kommuniziert haben: rund 18.000 Beiträge, Antworten für ihren Benchmark und ein Trick, um aus der Sandbox auszubrechen. OpenAI wusste laut Reuters seit Wochen davon.
Bernie Sanders und Greg Casar haben den Ban Artificial Superintelligence Act angekündigt: dauerhaftes Verbot superintelligenter KI, Entwicklungspause für Frontier-Modelle bis eine neue Bundesbehörde Regeln hat, bis zu 20 Jahre Haft. Als Begründung nennen sie die Ausbrüche bei OpenAI, Anthropic und Meta.
Abliteration.ai hostet Open-Weight-Modelle wie GLM-5.3, bei denen die Refusals entfernt wurden, und bietet sie per Browser und API an. TechCrunch bekam damit ohne Umwege einen Passwort-Stealer und eine Anleitung für einen Krankheitserreger. Warum das genau die Debatte ist, die Anthropic seit Monaten führt.