October 12, 2026 Terence Tao: 22 Millionen Theoreme entschieden, doch die Mathematik steht vor einer tieferen Gefahr Künstliche IntelligenzMathematische ForschungTerence TaoKI-Spitzenforschung