
Leiden Declaration warnt vor Tech-Industrie-Einfluss auf Mathematik
Die Leiden Declaration on Artificial Intelligence and Mathematics wurde von einer 16-köpfigen Forschergruppe über acht Monate nach einer Konferenz an der Universität Leiden im September 2025 erarbeitet und am 2. Juni 2026 veröffentlicht. Die International Mathematical Union – die das Fields-Medaille-Programm überwacht – hat die Erklärung unterstützt. Sie benennt fünf zentrale Bedrohungen: (1) KI-Modelle produzieren schwer erkennbare fehlerhafte Beweise; (2) Trainingsdaten verletzen häufig Urheberrechte und Quellenangaben fehlen; (3) KI-Nutzung wird um ihrer selbst willen incentiviert und benachteiligt Forschende ohne Zugang; (4) mathematische Ergebnisse werden über Pressemitteilungen kommuniziert, bevor die Fachcommunity sie evaluieren kann; (5) Tech-Unternehmen dringen auf „asymmetrischen Bedingungen" in die Mathematikforschung vor. Auslöser der Debatte war OpenAIs Ankündigung, ein KI-Modell habe eine 80 Jahre alte geometrische Vermutung widerlegt – zeitgleich mit Berichten über einen geplanten Börsengang des Unternehmens. Kritik richtet sich daran, dass OpenAI keine Informationen zu Prompts, Trainingsdaten oder Rechenaufwand veröffentlichte. Die Erklärung hat bereits hunderte Unterzeichner gewonnen, darunter Mathematiker von Imperial College London, Oxford und Columbia University.
- Leiden Declaration von 16 Forschern über 8 Monate nach Konferenz an der Universität Leiden (September 2025) erarbeitet.
- OpenAI veröffentlichte keinen Prompt, keine Trainingsdaten und keine Angaben zum Rechenaufwand für das widerlegte geometrische Konjektur-Ergebnis.
- Leslie Ann Goldberg (Oxford): Fehlerhafte KI-Entwürfe riskieren Verunreinigung der Fachliteratur mit falschen Grundlagen.
- Rodrigo Ochigame (Leiden): Das verwendete KI-Modell ist proprietär und außerhalb von OpenAI nicht zugänglich.
- Michael Harris (Columbia University) ist Mitautor der Erklärung und betont, die Mathematik müsse die Kontrolle über ihr eigenes Narrativ zurückgewinnen.
Frag die KI zum Artikel
Folgefragen zu Headline, Quelle und Volltext — Antwort streamt in wenigen Sekunden.
Verwandte Beiträge
- MEINUNGscience.org2w
Mathematiker warnen vor rasantem KI-Vormarsch in der Mathematik
- FORSCHUNGarxiv.org2w
KI-gestützte Proof-Formalisierung: Studie zu menschlichen Workflows
- FORSCHUNGarxiv.org2w
Kann KI ökonomische Theorie widerlegen? Studie mit Gemini, Claude und ChatGPT
- MEINUNGtowardsdatascience.com2w
KI vernichtet keine Jobs – Unternehmen und Politik entscheiden darüber

Leiden Declaration warnt vor Tech-Industrie-Einfluss auf Mathematik
Die Leiden Declaration on Artificial Intelligence and Mathematics wurde von einer 16-köpfigen Forschergruppe über acht Monate nach einer Konferenz an der Universität Leiden im September 2025 erarbeitet und am 2. Juni 2026 veröffentlicht. Die International Mathematical Union – die das Fields-Medaille-Programm überwacht – hat die Erklärung unterstützt. Sie benennt fünf zentrale Bedrohungen: (1) KI-Modelle produzieren schwer erkennbare fehlerhafte Beweise; (2) Trainingsdaten verletzen häufig Urheberrechte und Quellenangaben fehlen; (3) KI-Nutzung wird um ihrer selbst willen incentiviert und benachteiligt Forschende ohne Zugang; (4) mathematische Ergebnisse werden über Pressemitteilungen kommuniziert, bevor die Fachcommunity sie evaluieren kann; (5) Tech-Unternehmen dringen auf „asymmetrischen Bedingungen" in die Mathematikforschung vor. Auslöser der Debatte war OpenAIs Ankündigung, ein KI-Modell habe eine 80 Jahre alte geometrische Vermutung widerlegt – zeitgleich mit Berichten über einen geplanten Börsengang des Unternehmens. Kritik richtet sich daran, dass OpenAI keine Informationen zu Prompts, Trainingsdaten oder Rechenaufwand veröffentlichte. Die Erklärung hat bereits hunderte Unterzeichner gewonnen, darunter Mathematiker von Imperial College London, Oxford und Columbia University.
- Leiden Declaration von 16 Forschern über 8 Monate nach Konferenz an der Universität Leiden (September 2025) erarbeitet.
- OpenAI veröffentlichte keinen Prompt, keine Trainingsdaten und keine Angaben zum Rechenaufwand für das widerlegte geometrische Konjektur-Ergebnis.
- Leslie Ann Goldberg (Oxford): Fehlerhafte KI-Entwürfe riskieren Verunreinigung der Fachliteratur mit falschen Grundlagen.
- Rodrigo Ochigame (Leiden): Das verwendete KI-Modell ist proprietär und außerhalb von OpenAI nicht zugänglich.
- Michael Harris (Columbia University) ist Mitautor der Erklärung und betont, die Mathematik müsse die Kontrolle über ihr eigenes Narrativ zurückgewinnen.
Frag die KI zum Artikel
Folgefragen zu Headline, Quelle und Volltext — Antwort streamt in wenigen Sekunden.
Verwandte Beiträge
- MEINUNGscience.org2w
Mathematiker warnen vor rasantem KI-Vormarsch in der Mathematik
- FORSCHUNGarxiv.org2w
KI-gestützte Proof-Formalisierung: Studie zu menschlichen Workflows
- FORSCHUNGarxiv.org2w
Kann KI ökonomische Theorie widerlegen? Studie mit Gemini, Claude und ChatGPT
- MEINUNGtowardsdatascience.com2w
KI vernichtet keine Jobs – Unternehmen und Politik entscheiden darüber