Warum Erdős' legendäre Probleme der künstlichen Intelligenz weichen

OpenAI gab bekannt, dass ein internes KI-Modell ein Gegenbeispiel zu Paul Erdős' Problem des Einheitsabstands gefunden hat, einer Vermutung aus dem Jahr 1946. Das Ergebnis wurde später von menschlichen Mathematikern verbessert, war aber neuartig, weil es Ideen aus einem fernen Bereich der Mathematik verwendete. Am 1. August gab OpenAI bekannt, dass ein weiteres Modell, Astra, zehn zusätzliche mathematische Durchbrüche erzielte und drei weitere Erdős-Probleme löste. Noga Alon bemerkte, dass diese Modelle die mathematische Forschung radikal verändern. Thomas Bloom erstellte Anfang 2023 die Website erdosproblems.com, um Erdős-Probleme zu sammeln, und im August 2025 fügte er einen Kommentarbereich hinzu, der eine Gemeinschaft förderte. Ein Hobby-Mathematiker, Wouter van Doorn, löste Problem 1102 mit Hilfe der Gemeinschaft und erhielt Rückmeldungen von Terence Tao. Später versuchten Kevin Barreto und Liam Price, die GPT-5.2 und GPT-5.2 Pro verwendeten, Probleme zu lösen; sie lösten Problem 333, aber es stellte sich heraus, dass Erdős es bereits 1977 gelöst hatte, und dann lösten sie Problem 728, für das keine frühere Lösung gefunden wurde.