Alex Kontorowitsch GAST

Alex Kontorowitsch ist Mathematiker an der Rutgers University, der selbst viel mit KI arbeitet. Er beschreibt den mathematischen Erkenntnisprozess in vier Phasen (Finden, Erklären, Formalisieren, Kanonisieren), betont die Bedeutung menschlicher Kommunikation—etwa informeller Gespräche—bei der Einordnung maschineller Beweise und sieht sowohl Chancen als auch die Notwendigkeit von Standards.