OpenAIs jüngstes Modell hat erneut bewiesen, dass KI-Systeme an der Grenze der Mathematik arbeiten können – GPT 5.6 Pro widerlegte die Unit Distance Conjecture, ein Problem, an dem renommierte Mathematiker lange tüftelten. Fields-Medaillenträger Timothy Gowers hebt eine wichtige Warnung aus: Wenn KI-Systeme komplexe mathematische Beweise automatisiert lösen, verlieren Forschende möglicherweise die Motivation und Gelegenheit, tiefe Expertise aufzubauen, um die Ergebnisse zu verstehen und zu validieren. Das wirft eine fundamentale Frage auf – zwischen technologischem Fortschritt und wissenschaftlicher Kultur. Andere Experten sehen die Entwicklung gelassener und nutzen KI als Werkzeug an der Seite menschlicher Kreativität.
