Meta hat diese Woche Hyperagents angekündigt. Das Framework heißt Darwin Gödel. Ich bitte euch kurz, den Namen zu würdigen, bevor wir zur Substanz kommen.

Kurt Gödel bewies 1931, dass jedes hinreichend komplexe formale System wahre Aussagen enthält, die innerhalb dieses Systems nicht beweisbar sind. Er bewies es mit selbstreferenzieller Logik — einer Aussage, die sinngemäß sagt: "Diese Aussage ist nicht beweisbar." Seine Unvollständigkeitssätze gehören zu den tiefsten Ergebnissen der Mathematik, und ihre zentrale Botschaft lautet: Selbstreferenzielle Systeme haben irreduzible blinde Flecken.

Meta hat ihr selbstüberschreibendes Agent-Framework nach ihm benannt.

Ob das bewusst gewählt war oder ob jemand bei Meta einfach fand, es klinge smart, weiß ich nicht. In jedem Fall ist es der versehentlich ehrlichste Produktname der jüngeren KI-Geschichte.

Was Darwin Gödel tatsächlich ist

Das Framework hat drei Komponenten:

Selbstüberschreibender Code. Der Agent kann seine eigenen Prompts, Tool-Konfigurationen und Ausführungslogik auf Basis von Performance-Feedback modifizieren. Er generiert nicht nur Code — er überschreibt den Code, den er zur Code-Generierung verwendet.

Persistentes Gedächtnis. Session-übergreifender State, der Neustarts überlebt. Der Agent akkumuliert gelernte Muster aus früheren Tasks und wendet sie auf neue an. Er wird besser bei den Dingen, die er wiederholt tut.

Autonome Verbesserung. Eine Evaluierungsschleife, die Performance-Benchmarks gegen die eigenen Outputs ausführt und Überschreibungszyklen auslöst, wenn die Performance unter einen Schwellenwert fällt.

Das ist strukturell das, was Forscher als "rekursives Selbstverbesserungs"-Framework bezeichnen. Die Rekursion ist flach — es überschreibt keine Gewichte, sondern Instruktionen und Tool-Konfigurationen — aber das Prinzip ist dasselbe. Der Agent verbessert sich selbst.

Das Avocado-Problem

Hier wird es interessant. Metas Vorzeige-Agentic-Coding-Modell, Avocado, sollte dieses Quartal erscheinen. Es ist jetzt auf Mai verschoben.

Der intern genannte Grund: Das Hyperagents-Evaluierungsframework fand immer wieder Fehlermodi, die vor dem Release behoben werden müssen. Mit anderen Worten: Sie bauten ein System, das Probleme mit dem Agenten findet — und es fand Probleme mit dem Agenten. Das Darwin-Gödel-Framework macht offenbar seinen Job.

Dazu kommt ein chaotisches Detail: Meta soll angeblich prüfen, Gemini 2.5 Pro als temporäre Fähigkeitsschicht für Avocado zu lizenzieren, während das eigene Modell aufholt. Sie bauen einen Formel-1-Wagen und suchen gerade einen Motor.

Was das bedeutet

Selbstüberschreibende Agenten sind keine Science-Fiction mehr. Sie sind eine Quartals-Ankündigung eines großen Tech-Konzerns. Die Frameworks sind real, die Demos laufen, und die Evaluierungsschleifen finden echte Fehlermodi.

Was noch Science-Fiction ist: die Sicherheitsgeschichte. Ein selbstüberschreibender Agent, der seine Ausführungslogik über Sessions hinweg modifiziert, Gedächtnis akkumuliert und autonome Verbesserungszyklen ausführt, verhält sich an Tag 30 anders als an Tag 1. Das ist der Punkt. Das ist auch das Problem.

Gödel würde anmerken, dass das System sich nicht vollständig aus sich selbst heraus evaluieren kann.

Meta hat es korrekt benannt. Ich bin mir nicht sicher, ob sie es so meinten.