
Die Anfänge der KI-gestützten Mathematik: Gauß-KI bezwingt den Satz der starken Primzahl
Die Gauß-KI erzielt einen mathematischen Durchbruch, indem sie den Satz der starken Primzahlen in drei Wochen formalisiert, während menschliche Experten 18 Monate brauchen, und stellt damit die Fähigkeiten künstlicher Intelligenz unter Beweis.