Terry Tao und die KI-Mathematik: Wie aus einem Lean-Enthusiasten plötzlich ein KI-Evangelist wird
Quanta Magazine hat ein ausführliches Portrait über Terence Tao veröffentlicht, in dem der australisch-amerikanische Ausnahmemathematiker als prominenter Fürsprecher von KI in der mathematischen Forschung dargestellt wird. Tatsächlich beruht ein Großteil seines Engagements jed…