Terence Tao: Beweise sind nicht mehr das Wichtigste in der Mathematik

Der Spitzenmathematiker warnt vor einer Flut KI-generierter Beweise, die niemand mehr versteht. Die Mathematik müsse ihre Ziele neu definieren