Beobachtetes Signal · 31. Mai 2026 · Research Breakthrough · Quelle: DEV Community · Relevanz: 4/5 · Sentiment: Positiv
OpenAI-Modell widerlegt Paul Erdős' Vermutung zum Einheitsabstandsproblem
Im Mai 2026 erstellte ein internes OpenAI-Reasoning-Modell einen 125-seitigen Chain of Thought (CoT), der eine Konstruktion zur Anhebung der bekannten unteren Schranke des planaren Einheitsabstandsproblems beschreibt. Damit widerlegt das Modell die langjährige Vermutung von Paul Erdős, wonach die maximale Anzahl von Einheitsabstandspaaren wie n^{1+o(1)} wächst. Die Modellüberlegungen, die von kombinatorischer Geometrie zu algebraischer Zahlentheorie übergingen, wurden von neun Mathematikern in einem menschenverifizierten Bericht ('Remarks on the Disproof of the Unit Distance Conjecture', arXiv:2605.20695) geprüft. Unabhängige Arbeiten von Will Sawin (arXiv:2605.20579) liefern eine explizite untere Schranke von n^{1.014}; spätere Verbesserungen beanspruchen Schranken von bis zu ca. n^{1.036}. Die bewiesene obere Schranke O(n^{4/3}) bleibt unberührt.
Dies ist ein bedeutender Nachweis, dass ein Foundation-Modell verifizierbare, neuartige mathematische Forschung und einen menschengeprüften Beweis erbringen kann. Es signalisiert erhebliche Fortschritte beim LLM-Reasoning, der Forschungsautomatisierung und der disziplinübergreifenden Entdeckung mit direkten Auswirkungen auf R&D-Workflows.
Marktsignale zu OpenAI in Echtzeit verfolgen
Polaris7 erfasst behördliche Registrierungen, Primärquellen, Führungswechsel und Deal-Aktivitäten rund um die Uhr. Erstellen Sie Ihren kostenlosen Explorer-Workspace, um automatisierte Executive Briefings zu erhalten.
Wichtigste Kernpunkte & Evidenz
- OpenAI veröffentlichte im Mai 2026 einen 125-seitigen Chain of Thought (CoT) zur Widerlegung der planaren Erdős-Vermutung.
- Ein menschenverifizierter Peer-Bericht mit dem Titel 'Remarks on the Disproof of the Unit Distance Conjecture' (u.a. mit W. T. Gowers, Noga Alon, Melanie Matchett Wood, Will Sawin) dokumentiert den vollständigen Beweis (arXiv:2605.20695).
- Will Sawin publizierte auf arXiv (2605.20579) eine explizite untere Schranke, die n^{1.014} beweist; nachfolgende (noch unbestätigte) Verbesserungen beanspruchen bis zu ~n^{1.036}.
- Das Ergebnis erhöht die untere Schranke auf n^{1+ε} für ein explizites ε>0, während die etablierte obere Schranke O(n^{4/3}) (Spencer–Szemerédi–Trotter) gültig bleibt.
- Der Ansatz des OpenAI-Modells nutzte Methoden der algebraischen Zahlentheorie (CM-Körper, Hilbert-Klassenkörpertürme, Golod-Shafarevich-Techniken) zur Erstellung des Gegenbeispiels.
Verknüpfte Unternehmen
4 verknüpfte UnternehmenOntologie & Marktkonzepte
Verwandte Marktsignale & Trends
Aktuelle verifizierte Unternehmensentwicklungen und Deal-Aktivitäten in diesem Marktsegment.
OpenAI-Reasoning-Modell widerlegt 80 Jahre alte mathematische Erdős-Vermutung
OpenAI-Forscher haben in einem Podcast erläutert, wie ein neues Reasoning-fokussiertes Modell einen Beweis erbracht hat, der die rund 80 Jahre alte Unit-Distance-Vermutung von Paul Erdős in der kombinatorischen Geometrie widerlegt. Durch erweiterte Test-Time Compute konnte das Modell Lösungswege explorieren und selbst korrigieren, was zu einer 125-seitigen Chain-of-Thought führte. Die Konstruktion nutzt algebraische Zahlentheorie, um ein geometrisches Design zu entwerfen, das herkömmliche Gitteranordnungen übertrifft. Interne Mathematiker überprüften und validierten das Ergebnis. Darauffolgende menschliche Arbeiten führten zu einem weiteren Durchbruch bei einer verwandten Sum-Product-Vermutung. Forscher diskutierten zukünftige Ziele wie die Automatisierung KI-gesteuerter Forschung, die Lösung des P-vs-NP-Problems sowie Anwendungen in der Kryptographie und Quantenfehlerkorrektur.
OpenAI widerlegt historische Erdős-Vermutung mit internem Reasoning-Modell
Ein internes Reasoning-Modell von OpenAI hat angeblich eine neue Lösung konstruiert, die eine mathematische Vermutung von Paul Erdős aus dem Jahr 1946 über Einheitsdistanz-Paare widerlegt. Die Verifizierung wurde von Thomas Bloom, dem Betreiber der Erdős-Datenbank, mitgetragen, nachdem eine frühere GPT-5-Behauptung lediglich bestehende Fachliteratur paraphrasiert hatte. Parallel zeigen Marktsignale ein gemischtes Bild bei kommerziellen KI-Implementierungen: Starbucks hat ein KI-Inventurtool von NomadGo in 11.000 nordamerikanischen Filialen nach Fehlern eingestellt. Im Gegensatz dazu veröffentlichte Airbnb das Summer Release mit einem In-App KI-Assistenten und neuen Logistikpartnern. Zudem integriert Google werbegetriebene, Gemini-gestützte Antworten in die Search, wodurch gesponserte Inhalte vollständige Assistenten-Antworten dominieren können. Dies verdeutlicht sowohl die fortschreitenden Fähigkeiten von Foundation-Modellen als auch die operativen Hürden und monetären Potenziale im Tech-Sektor.
OpenAIs Astra liefert zehn Lean-zertifizierte mathematische Beweise
OpenAI hat bekannt gegeben, dass eine interne Version seines Modells Astra zehn neue Resultate in der Mathematik und theoretischen Informatik erzielt hat. Menschen bereiteten Manuskripte vor, die das Modell anschließend in maschinenprüfbare Lean-Zertifikate formalisierte; die Beweise sowie die kommentierte Argumentation des Modells wurden auf GitHub veröffentlicht. Zu den herausragenden Ergebnissen gehören Konstruktionen nicht-sofscher Gruppen, die Widerlegung von Connes Starrheitsvermutung, ein Theorem zur Quanten-Parallel-Wiederholung, eine superexponentielle Schranke für mehrfarbige Ramsey-Zahlen sowie Härteergebnisse für das Problem des kürzesten Vektors in der Gitterkryptographie. OpenAI gab an, dass die Token-Kosten zur Generierung dieser Lösungen zu Sol-API-Preisen bei rund 2.000 US-Dollar liegen würden. Der Artikel betont dabei wichtige Einschränkungen wie menschliche Kuratierung, Fragen zur Originalität und Urheberschaft sowie breitere Implikationen: die formale Verifikation als KI-Ausgabe erster Klasse und demokratisierte Rechenkosten für Forschungsergebnisse auf Spitzenniveau.
Marktsignale & Strategische Shifts in Echtzeit verfolgen
Erstellen Sie benutzerdefinierte Watchlists, um automatisierte, evidenzbasierte Executive Briefings zu erhalten, sobald wesentliche Signale oder Marktverschiebungen auftreten.