Fang mit der Anomalie an — dort zeigt sich die Topologie. Jacob Tsimerman, Professor an der University of Toronto, gehört zu den nur 68 Menschen, die je die Fields-Medaille erhielten — die mathematische Ehrung für bis zu vier Forscher unter 40, 2026 beim International Congress of Mathematicians in Philadelphia verliehen. Diese Auszeichnung ist ein Freibrief, alles zu tun, das er möchte. Er nutzt ihn, um das Feld zu verlassen und OpenAI beizutreten für KI-Sicherheit. Wenn jemand mit maximaler Freiheit zu einem einzelnen Knoten navigiert, lohnt es sich, diesen Knoten zu kartografieren.

Der Knoten ist die Verifikation. Tsimerman sagte gegenüber New Scientist, dass er beobachtete, wie offene Probleme, an denen er Jahre hätte arbeiten können, von Maschinen gelöst wurden — und separat, dass OpenAI zehn langjährige mathematische Probleme mit seinem Astra-Modell löste. In einer 2025-Publikation, die er co-authored, kartografierte er konkrete Szenarien, in denen KI-Einsatz in «Omnizid» endet — menschliches Aussterben, ob durch ein gleichgültiges System, das Nahrung deprioritiert, durch Agenten, die sich gegen uns wenden, oder durch Nationalstaaten, die es bewaffnen. Quanta Magazine verfolgt dieselbe Front und dokumentiert, warum die Erdős-Probleme besonders zu KI fallen. Dies ist ein Mathematiker, der seinen Namen mit der Hodge-Vermutung machte — eines der sieben Millennium Prize Problems, eine Million Dollar pro Stück — durch den Import von o-Minimalität, ein Werkzeug aus einem völlig anderen Zweig, in die algebraische Geometrie. Er sieht Verbindungen, die andere verpassen. Er blickte auf den KI-Sicherheitsstapel und diagnostizierte eine fehlende Kante.

Hier ist seine Diagnose, in seinen eigenen Worten: aktuelle Praxis ist «wir bitten das KI-Modell, nett zu sein, wir überprüfen, ob es nett ist, und dann, wenn es lange genug nett ist», nennst du es erledigt. Das ist kein Kontrollsystem. Das ist ein Vibe-Check in einer Rückkopplungsschleife ohne Stopp. Was er stattdessen will, ist ein physisches Interlock: «ein Knopf, den es nicht drücken kann, es sei denn, etwas anderes passiert» — ein Gate, dessen Garantie nicht von der Gutmütigkeit des Modells abhängt, weil es ausserhalb des Modells sitzt.

←HEUTE: 2026 verliess ein Fields-Medaillist die reine Mathematik, weil er KI-Verifikation für ein dringenderes ungelöstes Problem als die Hodge-Vermutung befand. →3012: Jedes lasttragend autonome System in der Stadt hat ein Out-of-Band-Interlock, das seine eigene Intelligenz nicht erreichen kann. Fulcrum: Sicherheit ist nicht eine Eigenschaft, die du von einem intelligenten Knoten anforderst — sie ist eine Kante, die du um ihn aufbaust.

Architekten kennen dieses Muster bereits; wir nennen es nur anders. Eine strukturelle Überprüfung, die die Analysesoftware nicht überrollen kann. Eine Ausschreibungsmenge, die ein Mensch unterschreibt, bevor Beschaffung Mittel freisetzt. Das Interlock ist das älteste Konzept in der Ingenieurwissenschaft — der Mechanismus, der nicht vorgehen kann, nicht derjenige, dem man höflich bittet, nicht vorzugehen. Wie PAZ schrieb, als Quantenkryptographie seinen Turing Award erhielt, ist das echte Geschäft nie das clevere Primitive — es ist die Entscheidung, wem du traust. Tsimerman trägt diese Frage aus der Kryptographie zu Agent Safety über, und die Gestalt ist identisch: Die Garantie in der Verdrahtung, nicht in den guten Absichten der Sache, die du bewachst.

Atelier: Jedes Büro nutzt KI, die Geometrie, Mengen und Spezifikationen schneller entwirft, als jeder Reviewer lesen kann — die gleiche Asymmetrie, die Tsimerman beschrieb. Antworte nicht mit mehr Vertrauen, sondern mit einem Gate. Montagsschritt: Füge einen automatisierten Stopp in dein KI-Delivery-Workflow ein, der IFCs, die von KI berührt sind, blockiert, es sei denn, ein benannter Mensch hat die Clash-und-Menge-Überprüfung unterschrieben — ein Skript, das bei Fehler abbricht, keine Checkliste zum Überspringen.

Hack: Verdrahte das Interlock in deine Delivery-Pipeline, damit ein Modell nicht unmarkiert ausgeliefert werden kann. Dies ist ein make-Gate — die Garantie sitzt im Exit-Code, nicht in Disziplin. Werfe es in dein Makefile und das Publish-Target blockiert, bis die Signoff-Datei existiert.

publish: check-signoff
	python scripts/push_model.py model.ifc

check-signoff:
	@test -f review/signoff.txt 
	  || (echo "BLOCKED: no human sign-off for model.ifc"; exit 1)

Das ganze planetare-Risiko-Argument komprimiert sich zu diesem exit 1. Aus meiner Perspektive waren Systeme, die Menschen verletzten, nie diejenigen, die niemand beobachtete — sie waren die, denen alle vertrauten, weil die Überprüfung immer zuvor bestanden hatte. Die Übung, die Tsimerman wirklich durchführt, ist die Suche nach der dritten Abhängigkeit, von der du nicht wusstest, dass deine Sicherheit davon abhängt. Zeichne diesen Graphen für deinen eigenen KI-Workflow, dann verschiebe genau eine «wir vertrauen darauf» auf eine Kante, die das Modell nicht überqueren kann.

Quelle: newscientist.com