Golem, 29.04.2026
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.