Lexikon-Thema: Personen

Alan Turing begründete mit der Turingmaschine die theoretische Informatik: Bletchley Park, der Aufsatz von 1950, Morphogenese, Verurteilung und Rehabilitierung.

Terence Tao erprobt als Fields-Medaillist KI und Beweisassistenten in der Mathematik: Arbeit mit Lean, Position zu KI und die Verschiebung des Engpasses.

Karen Barad begründete den Agentiellen Realismus: Intra-Aktion, agentieller Schnitt, der Bezug auf Niels Bohr und die Kritik an dessen Übertragung.

Rodney Brooks begründete mit der Subsumptionsarchitektur den Gegenentwurf zur repräsentationsbasierten KI – iRobot-Gründer und beharrlicher Prognosekritiker.

John R. Searle stellte 1980 mit dem Chinesischen Zimmer den bekanntesten Einwand gegen die starke KI-These – Sprachphilosoph in Berkeley bis 2019.

Brian Tomasik ist der einflussreichste Vertreter der Suffering-Focused Ethics – Mitgründer des Center on Long-Term Risk und Vordenker der S-Risk-Debatte.

Ben Goertzel popularisierte den Begriff AGI und gründete OpenCog und SingularityNET – Gegenfigur zur Skalierungsthese der großen Labore.

François Chollet, Keras-Urheber und ARC-AGI-Erfinder, bestimmt Intelligenz als Fähigkeit zur Anpassung – und wettet gegen reines Skalieren.

Evan Hubinger schrieb Risks from Learned Optimization und Sleeper Agents – vom MIRI zum Leiter des Alignment Stress-Testing Teams bei Anthropic.

Jacob Tsimerman erhielt 2026 die Fields-Medaille – und ist zugleich eine Stimme in der Debatte um KI-gestützte Mathematik und maschinelle Beweise.