OpenAI-Modell widerlegt eigenständig 80 Jahre alte Mathematik-Vermutung: Erstmals löst KI ein offenes Problem ohne menschliche Anleitung
Was wirklich drin steht
Am 20. Mai 2026 hat OpenAI bekannt gegeben, dass ein internes Allzweck-Reasoning-Modell eine zentrale Vermutung der diskreten Geometrie widerlegt hat, die seit fast 80 Jahren ungelöst war. Die Frage wurde 1946 vom legendären Mathematiker Paul Erdős formuliert: Wie viele Punktepaare auf einer flachen Fläche können genau eine Einheit voneinander entfernt sein? Seit Jahrzehnten gingen Mathematiker davon aus, dass quadratische Gitter die optimale Anordnung darstellen. Das OpenAI-Modell hat diese Annahme widerlegt, indem es eine neue Familie mathematischer Konstruktionen entdeckte, die mithilfe tiefer algebraischer Zahlentheorie - konkret der Golod-Schafarevich-Theorie und unendlicher Klassenkörpertürme - eine polynomielle Verbesserung gegenüber quadratischen Gittern erzielt: n^(1+d) Einheitsabstandspaare für ein festes d > 0. Der Princeton-Mathematiker Will Sawin hat den Wert anschließend auf d = 0,014 präzisiert. Fields-Medaillenträger Tim Gowers bezeichnete das Ergebnis als 'einen Meilenstein in der KI-Mathematik'. Entscheidend: Das Modell wurde nicht speziell für Mathematik trainiert, es hat keine bestehende Lösung abgerufen, und es wurde nicht schrittweise von Menschen angeleitet. Es ist das erste Mal, dass eine KI eigenständig ein prominentes offenes Problem gelöst hat, das zentral für ein ganzes Teilgebiet der Mathematik ist. Das Ergebnis wurde von externen Mathematikern verifiziert.
Unsere Einordnung
Dieses Ergebnis verdient eine differenzierte Betrachtung. Einerseits ist es tatsächlich bemerkenswert: Ein Allzweck-KI-Modell, das nicht für Mathematik optimiert wurde, hat eigenständig einen Beweis geführt, der menschlichen Mathematikern seit 80 Jahren nicht gelungen ist. Das zeigt, dass KI-Fähigkeiten in Bereiche vordringen, die bisher als genuin menschlich galten - kreatives mathematisches Denken. Für Menschen, die sich vor der zunehmenden Leistungsfähigkeit von KI sorgen, ist das ein Signal, das ernst genommen werden sollte. Andererseits muss man einordnen: Die Vermutung betrifft ein hochspezialisiertes Gebiet der diskreten Geometrie - die Lösung hat keine unmittelbaren praktischen Auswirkungen auf den Alltag oder den Arbeitsmarkt. OpenAI hat das interne Modell nicht öffentlich zugänglich gemacht, und die Veröffentlichung dient auch der Positionierung im Wettbewerb mit Anthropic und Google DeepMind. Die Verifizierung durch externe Mathematiker wie Will Sawin und die Anerkennung durch Tim Gowers verleihen dem Ergebnis wissenschaftliche Glaubwürdigkeit. Es ist kein reiner Marketing-Stunt, aber auch kein Zeichen dafür, dass KI morgen alle Berufe übernimmt.
Relevanz für Deutschland
Für Deutschland ist dieses Ergebnis vor allem als Indikator für den Stand der KI-Forschung relevant. Die Tatsache, dass ein KI-Modell eigenständig kreative mathematische Arbeit leisten kann, wirft Fragen auf, die auch die deutsche Wissenschafts- und Bildungspolitik betreffen: Wie verändert sich die Rolle von Mathematikern und Naturwissenschaftlern, wenn KI zunehmend Forschungsprobleme lösen kann? Deutsche Universitäten und Forschungseinrichtungen wie die Max-Planck-Gesellschaft arbeiten an KI-gestützter Grundlagenforschung - allerdings mit deutlich weniger Rechenleistung als OpenAI. Der Durchbruch unterstreicht die wachsende Kluft zwischen US-Tech-Konzernen und europäischer Forschung bei den Ressourcen für KI-Entwicklung. Gleichzeitig zeigt er, dass KI-Fähigkeiten nicht nur in der Textgenerierung oder Bildverarbeitung zunehmen, sondern auch in der wissenschaftlichen Forschung - ein Bereich, der für Deutschlands Position als Innovationsstandort zentral ist.
Faktencheck
Der Durchbruch wurde am 20. Mai 2026 im offiziellen OpenAI-Blog veröffentlicht und von Gigazine, NewsBytesApp, ExplainX und AIToolly berichtet. Die technischen Details - Golod-Schafarevich-Theorie, polynomielle Verbesserung, d = 0,014 - werden von mehreren Quellen übereinstimmend beschrieben. Die Verifizierung durch Princeton-Mathematiker Will Sawin und die Einordnung durch Fields-Medaillenträger Tim Gowers sind durch die OpenAI-Veröffentlichung und unabhängige Berichterstattung dokumentiert. Die Primärquelle ist der OpenAI-Blogbeitrag. Zu beachten ist, dass OpenAI das verwendete Modell nicht identifiziert hat und es nicht öffentlich zugänglich ist, was eine unabhängige Reproduktion derzeit ausschließt.
Quelle
- • OpenAI 20.05.2026: An OpenAI model has disproved a central conjecture in discrete geometry (openai.com/index/model-disproves-discrete-geometry-conjecture/)
- • Gigazine 21.05.2026: OpenAI has successfully disproven a mathematical conjecture unsolved for nearly 80 years (gigazine.net/gsc_news/en/20260521-openai-model-disproves-discrete-geometry-conjecture/)
- • NewsBytesApp 05.2026: OpenAI says its new AI model solved decades-old geometry conjecture (newsbytesapp.com/news/science/openai-says-its-ai-has-disproved-an-80-year-old-mathematical-conjecture/story)
- • ExplainX 05.2026: OpenAI solves 80-year Erdos geometry problem (explainx.ai/blog/openai-planar-unit-distance-erdos-problem-solved-2026)
- • AIToolly 21.05.2026: OpenAI reasoning model disproves longstanding Erdos conjecture in discrete geometry (aitoolly.com/ai-news/article/2026-05-21-openai-reasoning-model-disproves-longstanding-erds-conjecture-in-discrete-geometry)