Terence Tao warnt vor einer Beweis-Überflusskrise in der Mathematik
In einem zwölfseitigen arXiv-Artikel warnt Terence Tao: Wenn KI-Beweise nur noch Dutzende bis Hunderte Dollar kosten, wird nicht der Beweis, sondern der Mensch, der ihn versteht, zur Mangelware.