KI für Beweisformalisierung: Schönere Mathematik oder Kauderwelsch?

Die KI von Math, Inc. erreicht Beeindruckendes. Aber ihr Erfolg kollidiert mit den Zielen einiger Mathematiker. Von Tim Reinboth

Quelle: Feed/Golem.de [ mehr ]