(KI Symbolbild). Der Mathematiktest prüft nicht Schulaufgaben, sondern echte Probleme aus der Forschungsmathematik. Die neuen Ergebnisse zeigen, dass Künstliche Intelligenz inzwischen beeindruckende Ansätze liefert. Gleichzeitig bleibt der Abstand zu erfahrenen Mathematikern dort sichtbar, wo ein Beweis nicht nur plausibel, sondern vollständig belastbar sein muss.