KI löst 80 Jahre altes Mathematik-Rätsel – mit Folgen für die Forschung
Ein OpenAI-Modell widerlegte unlängst eine der größten Vermutungen der diskreten Geometrie. Der Durchbruch zeigt, wie KI nicht nur Daten analysiert, sondern selbstständig mathematische Beweise findet – und das in Rekordzeit.