Auf dem Internationalen Mathematikerkongress 2026 in Philadelphia wurde Jacob Tsimerman einer der neuen Fields-Medaillengewinner. Auf der Pressekonferenz nach der Preisverleihung kündigte der 38-jährige kanadische Mathematiker eine wesentliche Änderung seiner beruflichen Ausrichtung an: Er wird sich OpenAI anschließen, um sich in der Sicherheitsforschung im Bereich der künstlichen Intelligenz zu engagieren.

Die Entscheidung steht im Gegensatz zu Zimmermans öffentlicher Haltung vor einem Jahr. Im Juli 2025 beteiligte er sich an der Erstellung des „Klassifizierungsrahmens potenziell zerstörerischer Katastrophenszenarien künstlicher Intelligenz“ und untersuchte die vielfältigen möglichen Wege, die hochrangige künstliche Intelligenz zum Aussterben der Menschheit führen könnten. Damals vertrat er öffentlich die Auffassung, dass die Wahrscheinlichkeit solch extremer Risiken nicht unterschätzt werden dürfe, und forderte ein Moratorium für Spitzenforschung und -entwicklung im Bereich der künstlichen Intelligenz. Gleichzeitig räumte er ein, dass der geopolitische Wettbewerb und der kommerzielle Wettbewerb der Unternehmen höchstwahrscheinlich die Umsetzung der globalen F&E-Moratoriumsvereinbarung erschweren würden. Auch wenn er häufig Risikowarnungen herausgibt, hat Zimmerman in seiner täglichen Arbeit bereits regelmäßig große Sprachmodelle verwendet und sich dabei auf KI verlassen, um die Literaturrecherche zu beschleunigen und die vorläufige Überprüfung von Theoremen abzuschließen.

Die schnelle Iteration der Fähigkeiten der künstlichen Intelligenz hat seine Forschungsideen verändert. Anfang des Jahres erklärte Levonte Alperger, eine ehemalige Doktorandin von Zimmerman und Mathematikerin bei Anthropic, dass das Team mithilfe der KI-Zusammenarbeit ein Gegenbeispiel zur jahrhundertealten Jacobi-Vermutung gefunden habe. Bald darauf gab OpenAI bekannt, dass sein internes Argumentationsmodell unabhängig die Existenz eines Gegenbeispiels bewies und damit die 80 Jahre alte Vermutung über die Einheitsdistanz widerlegte. Zimmerman wurde von OpenAI eingeladen, als externer Verifizierungsexperte zu fungieren, und stellte fest, dass der von der KI abgeleitete Beweisprozess logisch streng war und direkt in führenden Fachzeitschriften für Mathematik veröffentlicht werden konnte. Durch den kontinuierlichen Fortschritt wurde ihm klar, dass sich künstliche Intelligenz von einem Computerhilfsmittel zu einem aktiven Teilnehmer an anspruchsvollen mathematischen Entdeckungen wandelt.

Zimmerman erkannte, dass die hochmoderne KI-Forschung und -Entwicklung nicht aufhören würde, egal wie kontrovers der Sicherheitsbereich war, und so verlagerte sich der Forschungsschwerpunkt von der „Verhinderung der Entstehung von Risiken“ hin zur „Ausrichtung und Kontrolle von Risiken“. Er wies darauf hin, dass die Sicherheit allein durch die tatsächliche Messverifizierung nicht vollständig gewährleistet werden kann, da die Fähigkeiten autonomer KI-Systeme immer stärker werden. Durch mathematische Beweise kann ein stabileres Einschränkungssystem zur Steuerung von KI-Systemen mit mehreren Agenten aufgebaut werden. OpenAI beschäftigt sich seit langem intensiv mit Modellausrichtung, logischem Denken und mathematischer Verifizierung, was in hohem Maße mit seinem Hauptfach übereinstimmt.

Diese Berufswahl spiegelt auch Veränderungen in der gesamten akademischen Landschaft wider. Zimmerman kündigte an, keine regulären Doktoranden der Mathematik mehr einzustellen. Der Grund dafür ist, dass das Überleben traditioneller Karrierewege in der Mathematikforschung zweifelhaft ist, sobald Maschinen den Menschen im rigorosen logischen Denken immer weiter übertreffen. OpenAI hat seine konkrete Position nicht bekannt gegeben und auch nicht erklärt, ob er seine Lehrtätigkeit an der University of Toronto behalten wird; Seine Ernennung bestätigt jedoch, dass die Branche zunehmend Mathematiker benötigt, die sich intensiv mit mathematischer Logik befassen, um hochentwickelte KI-Fähigkeiten und überprüfbare Sicherheitsvorschriften zu entwickeln. Dieser Schritt stellt auch einen allgemeinen pragmatischen Wandel in der akademischen Gemeinschaft dar: Die wissenschaftliche Forschungsgemeinschaft ist nicht mehr davon besessen, die technologische Entwicklung aufzuhalten, sondern priorisiert stattdessen den Aufbau eines mathematischen Systems, das die KI steuern kann.