Rund zehntausend KI-Agenten, 88 Stunden für den Beweis, 17 weitere, bis ein Computer jeden Schritt nachgeprüft hatte. Peter Scholze vermisst dabei den Menschen, der den Beweis verstanden hat, und ausgerechnet er weiß, wie gut solche Prüfungen sind. Über Beweise, die gesichert sind, bevor sie verstanden werden.
Weiterlesen