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.
Dieser Golem-Plus-Text ist 24 Stunden lang frei verfügbar.
Die Firma Math, Inc. hat mit Einsatz von generativer KI einen preisgekrönten mathematischen Beweis formalisiert. Der Code der KI namens Gauss ist die erste Formalisierung eines Beweises, der die Field-Medaille gewonnen hat – auch bekannt als Nobelpreis der Mathematik. Damit knüpft Math, Inc. an eine alte Tradition an und stellt gleichzeitig viele neue Fragen.