📁 Terence Tao, Fields-Medaillen-Mathematiker, sagt, dass Mathematik das sicherste und mächtigste Gebiet für KI werden könnte. Sprachmodelle können brillant oder völlig falsch sein, aber in der Mathematik wird jede Behauptung durch Logik gezwungen und kann sogar von Beweisassistenten verifiziert werden. Wo andere Bereiche mit Unzuverlässigkeit kämpfen, kann die Mathematik das Rauschen eliminieren und nur das bewahren, was wahr ist.