OpenAI-Modell findet Gegenbeispiel zu 80 Jahre alter Erdős-Vermutung
Forscher haben in Zusammenarbeit mit einem OpenAI-Modell ein Gegenbeispiel zu einer Erdős-Vermutung entdeckt, die seit rund 80 Jahren Bestand hatte. Die Geschichte wurde von Forschern im OpenAI-Podcast vorgestellt — als frühes Beispiel für eine Mensch-Modell-Kollaboration, die genuinen mathematischen Erkenntnisgewinn liefert und nicht bloß bekannte Beweise verifiziert.
Warum das wichtig ist
Ein Gegenbeispiel zu einer langjährigen Vermutung zu finden ist kategorial anders als das Lösen einer Benchmark-Aufgabe — es bedeutet, dass ein Modell zur Forschungsfront des menschlichen mathematischen Wissens beiträgt. Eine Leistungsklasse, die auf diesem Niveau bislang nicht demonstriert worden ist.