Markdown-Ausgabe

AI-translated from English; not yet reviewed by a fluent editor.

# Association for Human Mathematics stellt OpenAIs Mathematikveröffentlichung infrage

> Die Association for Human Mathematics wendet sich gegen OpenAIs proprietäre Mathematikforschung und deren Massenveröffentlichung. Rücknahmen und Korrekturen von Beweisen zeigen, dass sich die Faktenlage ändert; sie sind kein Urteil über die gesamte Sammlung.

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

Die Association for Human Mathematics (AHM) forderte Mathematiker auf, die Zusammenarbeit mit OpenAI einzustellen, nachdem das Unternehmen am 6. Oktober eine große Sammlung KI-generierter Mathematik veröffentlicht hatte. In ihrer [Stellungnahme vom 7. Oktober](https://www.ahmath.org/statements) richtet sich der zentrale Einwand der Gruppe gegen den Einsatz eines privaten Modells für schwierige offene Probleme und die gleichzeitige Veröffentlichung Hunderter daraus entstandener Arbeiten. Sie widerspricht OpenAIs Behauptung, dieses Veröffentlichungsmodell bringe die Mathematik voran, auch wenn die öffentlichen Dateien eine Prüfung einzelner Aussagen ermöglichen.

Das ist die Position der Communications Working Group der AHM. Es ist weder eine Abstimmung der mathematischen Gemeinschaft noch die Feststellung, jedes Manuskript sei falsch. Terence Tao [veröffentlichte den Text erneut als Gaststellungnahme der AHM](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) und kennzeichnete die Urheberschaft, statt ihn als eigene Stellungnahme zu übernehmen.

## Die große Veränderung

- **Was sich geändert hat:** Die Debatte über OpenAIs Repository geht inzwischen über die Gültigkeit einzelner Ergebnisse hinaus. Die AHM stellt die Rolle des Unternehmens bei der Auswahl von Forschungsproblemen und bei den Bedingungen infrage, unter denen Mathematiker die Ergebnisse erhalten.
- **Warum das wichtig ist:** In dem Streit geht es darum, wer das erzeugende Werkzeug prüfen kann und wer die Arbeit übernimmt, eine Massenveröffentlichung zu kontrollieren und zu erklären. Diese Fragen bleiben bestehen, selbst wenn ein bestimmter Beweis korrigiert oder formalisiert wird.
- **Worauf zu achten ist:** OpenAI kündigt weitere Formalisierungen an. Eine unabhängige Bewertung überarbeiteter Aussagen und mögliche spätere Korrekturen mit Versionsangabe werden klären, welche konkreten Ergebnisse Mathematiker überprüfen und verstehen können.

## Was die AHM beanstandet

Die AHM sagt, Mathematiker hätten diese Arbeit nicht angefordert. Sie bezeichnet die Veröffentlichung von mehr als 700 Dateien als Machtdemonstration statt als Wissenschaft und fordert die Leser auf, ihren Wert für das Fach zu hinterfragen. Die Stellungnahme verweist außerdem auf die unabhängige Advisory Group on Mathematics and Artificial Intelligence (AGMAI) und sagt, OpenAI habe deren ursprüngliche Aufforderung ignoriert, keine fortgeschrittene Mathematik mehr mit internen Modellen zu testen.

Dieser Verweis hat eine klare Grundlage. [Die AGMAI-Leitlinien vom 29. September](https://agmai.org/general-sep29/) empfehlen führenden Laboren, Tests schwieriger Probleme mit proprietären Modellen einzustellen. Dasselbe Dokument enthält bedingte Empfehlungen zur Veröffentlichung, falls Labore Ergebnisse bereits erzeugt haben: klare mathematische Darstellung, geeignete Repositorien, Offenlegung der Entstehung, Formalisierung, wo möglich, und Unterstützung des menschlichen Verständnisses. Laut Dokument stützten sich die Empfehlungen auf mehr als 600 Umfrageantworten und wurden von einer größeren Gruppe der Befragten unterstützt. Diese Tatsachen machen den späteren Aufruf der AHM, die Zusammenarbeit mit OpenAI einzustellen, weder zu einer AGMAI-Anweisung noch zu einer Entscheidung des gesamten Fachgebiets.

In ihrer [Antwort vom 6. Oktober auf die Veröffentlichung](https://agmai.org/), erklärte die AGMAI ausdrücklich, ihre beratende Rolle bedeute weder eine Billigung von OpenAIs Vorgehen noch eine Bewertung der Auswirkungen der Ergebnisse. Sie bezeichnete die Veröffentlichung als Beginn der menschlichen Prüfung und sagte, nur die mathematische Gemeinschaft könne feststellen, wie erfolgreich ihre Empfehlungen befolgt wurden. Zuvor hatte OpenAI die Gruppe als [unabhängig beschrieben](https://openai.com/index/advisory-group-on-mathematics-and-ai/) und erklärt, sie werde zu Prüfung und Kommunikation beraten, aber nicht das Tempo der internen Forschung bestimmen. Der Unterschied zwischen Rat und Entscheidungsbefugnis ist hier wichtig: Die Kritik der AHM richtet sich gegen OpenAIs Entscheidungen; sie belegt nicht, dass ein externes Gremium sie gebilligt oder untersagt hat.

## Auch eine sich ändernde Faktenlage muss geprüft werden

OpenAIs [Repository](https://github.com/openai/math) zufolge befinden sich die Arbeiten der Sammlung in unterschiedlichen Prüfungsstadien. Der aktuelle Katalog nennt **719 Manuskripte in 372 Familien**. Eine Familie kann mehrere Arbeiten umfassen. Das Repository erklärt, dass einigen Manuskripten Lean-Formaliserungen fehlen und nicht formalisierte Ergebnisse Probleme aufweisen können; rund 42 % der Hauptergebnisse seien formalisiert. Eine Formalisierung ist ein genau bestimmtes, maschinell überprüfbares Argument für eine konkrete Aussage, keine pauschale Bestätigung aller Behauptungen im zugehörigen Aufsatz. Der Status in einem Repository ersetzt außerdem keine unabhängige mathematische Prüfung. Unser früherer [Leitfaden zu Dateien und Beweiskonfigurationen](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) erklärt, wie sich dieser Umfang nachvollziehen lässt.

Nach der Rücknahme von drei Manuskripten änderte sich die Zahl. OpenAIs [Historieneintrag vom 7. Oktober](https://github.com/openai/math/blob/main/history.md) führt die Rücknahmen auf einen Vorzeichenfehler in einem Beweis zurück, der auch zwei davon abhängige Arbeiten betraf. Der Eintrag verzeichnet Änderungen an 14 weiteren Manuskripten, aktualisierte Referenzen in 13 weiteren und sechs zusätzliche Formalisierungen. Unser [Bericht über die drei Rücknahmen](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error) erläutert die engere Schlussfolgerung: Die identifizierten Argumente belegen die Behauptungen dieser Arbeiten nicht mehr; die Mitteilungen widerlegen nicht die mathematischen Aussagen selbst. Ein zurückgezogener Beweis, ein korrigiertes Manuskript und ein formalisiertes Ergebnis sind unterschiedliche Zustände.

Die Änderungen veranschaulichen den Prüfaufwand, den eine große und uneinheitlich formalisierte Sammlung erfordern kann. Das ist unsere Analyse des Repository-Verzeichnisses, keine Aussage der AHM-Stellungnahme. Die AHM wendet sich gegen die Entscheidung, die Sammlung mit einem proprietären Modell zu erzeugen und zu veröffentlichen. OpenAI hat zugleich versioniertes Material bereitgestellt, das Forschende untersuchen, korrigieren und diskutieren können. [Unsere frühere Analyse der Prüfungskapazität](https://bigchange.ai/blog/ai-research-discovery-review-capacity) behandelte den Aufwand, eine große Menge vorgeschlagener Ergebnisse in verstandene Mathematik zu überführen. Die aktuelle Auseinandersetzung stellt eine zugespitzte Frage: Nützt es den Menschen, die diese Arbeit bewerten sollen, wenn auf diese Weise so viel Material entsteht?

## Quellen und weiterführende Informationen

- [Stellungnahme der Association for Human Mathematics zur Veröffentlichung von OpenAI am 6. Oktober](https://www.ahmath.org/statements), 7. Oktober 2026. Hauptquelle für die Einwände der AHM und ihren Aufruf, die Zusammenarbeit zu beenden. Sie gibt die Position der Arbeitsgruppe wieder, nicht die Ansicht aller Mathematiker, und beurteilt keine einzelnen Beweise.
- [Terence Taos erneute Veröffentlichung der AHM-Stellungnahme als Gastbeitrag](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/), 7. Oktober 2026. Kennzeichnet den Text als Gaststellungnahme der AHM und verweist auf die Originalseite der Vereinigung.
- [AGMAI-Leitlinien für verantwortungsvolle Veröffentlichungen](https://agmai.org/general-sep29/), 29. September 2026, und [ihre Antwort auf OpenAIs Veröffentlichung](https://agmai.org/), 6. Oktober 2026. Sie zeigen den Einwand der Gruppe gegen proprietäre Tests, ihre bedingten Empfehlungen für Veröffentlichungen und die ausdrücklichen Grenzen der Bedeutung ihrer beratenden Rolle.
- [Ankündigung der OpenAI-Beratungsgruppe](https://openai.com/index/advisory-group-on-mathematics-and-ai/), 21. September 2026. Beschreibt OpenAIs Darstellung der Unabhängigkeit und des Auftrags der Gruppe sowie ihrer fehlenden Kontrolle über das Tempo interner Forschung.
- [OpenAIs Mathematik-Repository](https://github.com/openai/math) und [Versionsverlauf](https://github.com/openai/math/blob/main/history.md), abgerufen am 9. Oktober 2026. Primärquellen für die aktuelle Zahl von 719 Manuskripten in 372 Familien, die uneinheitliche Formalisierung sowie die Rücknahmen und Änderungen vom 7. Oktober. Es sind OpenAIs eigene Angaben und Korrekturen, keine unabhängige Bestätigung der Mathematik.

## Sources

- [Stellungnahme der Association for Human Mathematics zur Veröffentlichung von OpenAI am 6. Oktober](https://www.ahmath.org/statements) — Zentrale Stellungnahme der Communications Working Group der AHM, keine Abstimmung des gesamten Fachgebiets.
- [Terence Taos erneute Veröffentlichung der AHM-Stellungnahme als Gastbeitrag](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — Kennzeichnet den erneut veröffentlichten Text als Gaststellungnahme der AHM.
- [AGMAI-Leitlinien für verantwortungsvolle Veröffentlichungen](https://agmai.org/general-sep29/) — Ursprünglicher Einwand gegen proprietäre Tests und bedingte Empfehlungen für Veröffentlichungen.
- [AGMAIs Antwort auf OpenAIs Veröffentlichung](https://agmai.org/) — Schließt eine Billigung oder Folgenbewertung aus und überlässt die Prüfung der mathematischen Gemeinschaft.
- [Ankündigung der OpenAI-Beratungsgruppe](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — OpenAIs Darstellung der Unabhängigkeit und des Auftrags der Gruppe sowie ihrer fehlenden Befugnis über das Forschungstempo.
- [OpenAIs Mathematik-Repository](https://github.com/openai/math) — Aktuelle Zahl von 719 Manuskripten, Vorbehalte zur Prüfung und rund 42 % Formalisierung laut OpenAI.
- [Verlauf von OpenAIs Mathematik-Repository](https://github.com/openai/math/blob/main/history.md) — Drei Rücknahmen, Überarbeitungen, aktualisierte Referenzen und zusätzliche Formalisierungen.