Claude Code

Produktivität

KI kann mathematische Sicherheitsbeweise für Open-Source-Bibliotheken generieren, was die Software-Verifikation verbessert und Schwachstellen reduziert.

Google hat Android Studio über eine Funktion namens „Bring Your Own Agent“ für KI-Agenten von Drittanbietern geöffnet, die mehr als 40 Coding-Agenten unterstützt, darunter Anthropics Claude Agent und OpenAIs Codex. Google sagt, neue Terminal-Tools helfen Agenten, UI-Aufgaben 77 % schneller zu erledigen und dabei bis zu dreimal weniger Tokens zu verbrauchen.

Entwicklerwerkzeuge • The Decoder

Google's Gemini 4 Carbon ist der neue Platz #1 im Artificial Analysis Intelligence Index v5 mit einer Punktzahl von 59, getrieben durch führende Leistungen bei komplexem Reasoning, Wissen und wissenschaftlichen Aufgaben. Es rangiert auf dem zweiten Platz hinter Claude Opus 5.5 im Coding Agent Index, mit großen Fortschritten beim Coden und Wissensarbeit im Vergleich zu früheren Gemini-Modellen.

Model Release • Hacker News