KI löst Erdős-Rätsel: Mathematiker zwischen Jubel und Existenzangst

Offen bleibt, was mit einer Disziplin passiert, deren zentrale Ausbildungsleistung, jahrelanger Expertiseaufbau, plötzlich von Software in einem Anlauf erledigt wird. Die Leidener Erklärung liefert Leitplanken, keine Antworten.

Auf einen Blick

• Ein OpenAI-Modell widerlegte die seit 1946 offene Unit Distance Conjecture von Paul Erdős mithilfe algebraischer Zahlentheorie.
• Fields-Medaillenträger Timothy Gowers beschreibt seine Reaktion auf gelöste KI-Beweise als seltsam und unangenehm.
• Beim Epoch-AI-Benchmark „FrontierMath: Open Problems“ bleiben die anspruchsvollsten Kategorien bislang ungelöst.
• Mehr als 3.000 Mathematikerinnen und Mathematiker haben die Leidener Erklärung zu KI und Mathematik unterzeichnet.

Quellen: t3n, The Decoder