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

29.04.2026 15:36 Uhr, Quelle: golem

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