OpenAI und Anthropic behaupten beide, KI habe Informatik-Theorie widerlegt

OpenAI gab am Montag, den 26. Oktober, bekannt, dass seine internen KI-Modelle drei Ergebnisse erzielt haben. Das erste ist ein Beweis der "local smoothing conjecture" in allen Dimensionen. Das zweite ist eine Widerlegung der "Exponential Time Hypothesis" (ETH). Das dritte ist ein strenger Existenzbeweis für wechselwirkende Quantenfeldtheorien, einschließlich der Quantenchromodynamik (QCD), so die Ankündigung des Unternehmens. OpenAI beschrieb die Manuskripte als "eine Form von rohen Forschungsdaten". Sie baten externe Experten, als "Betreuer" für die Ergebnisse zu fungieren, wobei jedes Fachgebiet einen anderen Veröffentlichungsansatz verfolgt. Scientific American berichtete, dass Experten "immer noch fassungslos" seien, die Veröffentlichung jedoch bereits umstritten sei. Stunden nach der Ankündigung veröffentlichte Anthropic seine eigene Widerlegung der ETH.openai.com+1 ## Drei Behauptungen, drei Veröffentlichungspläne In der Mathematik schlug Christopher Sogge 1991 die "local smoothing conjecture" vor. OpenAI behauptet, dass der Beweis in allen Dimensionen auch die Kakeya- und Stein-Restriktionsvermutungen in allen Dimensionen klärt. Das Unternehmen hat den Bericht des Modells und einen formalen Lean-Beweis auf GitHub veröffentlicht. Alex Iosevich, Mathematiker an der University of Rochester, sagte gegenüber Al Jazeera, die Nachricht sei "zunächst ein Schock" gewesen und nannte es eine "historische Entwicklung".aljazeera.com+1 Bezüglich der ETH sagt OpenAI, dass sein System die Widerlegung am 16. Oktober gefunden habe und das Ergebnis am 17. Oktober in Lean formalisiert wurde. Russell Impagliazzo und Ramamohan Paturi von der UC San Diego, die die Hypothese ursprünglich aufstellten, leiten die Überprüfung zusammen mit Ryan Williams vom MIT. OpenAI hat sich zudem verpflichtet, eine Konferenz zu dem Ergebnis zu finanzieren. Der Beweis liefert einen Algorithmus für 3-SAT, der etwas schneller als in exponentieller Zeit läuft. Er löst nicht notwendigerweise das P-gegen-NP-Problem, merkte Scientific American an.openai.com+1 Das physikalische Ergebnis deckt den Existenzteil des Yang-Mills-Millennium-Preisproblems ab, jedoch nicht die Massenlücke. Eine Gruppe unter der Leitung des Nobelpreisträgers David Gross hat sich laut OpenAI dazu entschieden, die KI-generierten Materialien zurückzuhalten, während sie die Arbeit selbst aufarbeitet.openai.com ## Kontroverse und ein konkurrierender Beweis Laut Scientific American verstößt die Veröffentlichung gegen Empfehlungen der Advisory Group on Mathematics and Artificial Intelligence (AGMAI), einem Expertenbeirat, den OpenAI selbst organisiert hat. Das Modell ist weiterhin proprietär, und seine Prompts sowie die Gedankengänge wurden nicht veröffentlicht. AGMAI hat die Veröffentlichung des Yang-Mills-Papiers gefordert und erklärt, "es gibt keinen wissenschaftlichen Grund, die Veröffentlichung weiter zu verzögern". Derselbe Bericht besagt, dass ein Mitarbeiter von Anthropic und ein Mathematiker aus Northwestern öffentlich mit KI-Hilfe an demselben Yang-Mills-Problem gearbeitet hatten.scientificamerican.com Am späten Montag veröffentlichte Anthropic "A 2^o(n) Time Algorithm for 3-SAT", ein Papier, das Claude zugeschrieben wird. Der Anthropic-Forscher Levent Alpöge sagte, ein internes Modell habe den Kernalgorithmus am 16. Oktober "ohne menschliches Eingreifen" gefunden, berichtete OfficeChai. Keiner der Ansprüche der Labore wurde von Fachkollegen begutachtet. Vorerst liegt es an den Autoren der Hypothese selbst zu entscheiden, ob die behauptete Widerlegung Bestand hat.officechai.com