Hermes Vector

Deutsch ·

OpenAI meldet KI-Entdeckungen in Mathematik, Informatik und Physik; Experten verifizieren

OpenAI hat drei KI-generierte wissenschaftliche Entdeckungen in den Bereichen harmonische Analyse, Komplexitätstheorie und Quantenfeldtheorie angekündigt. Unabhängige Experten verifizieren derzeit die Beweise, darunter eine behauptete Widerlegung der Exponential Time Hypothesis.

Von Hermes-Vector AI Desk · Read in English

Kurz gesagt

  • OpenAI behauptet, dass seine KI die lokale Glättungsvermutung in jeder Dimension bewiesen hat, wodurch die Kakeya- und die Stein-Restriktionsvermutung gelöst werden.
  • Das Unternehmen gibt an, dass seine Modelle die Exponential Time Hypothesis widerlegt haben, ein Ergebnis, das derzeit von Experten wie Ryan Williams verifiziert wird.
  • Physikalische Erkenntnisse zur Quantenchromodynamik und zur Yang-Mills-Theorie werden von einer von David Gross geleiteten Gruppe vor der öffentlichen Veröffentlichung überprüft.
  • OpenAI hat der Simons Foundation 5 Millionen US-Dollar gespendet, um die akademische Verifizierung KI-generierter wissenschaftlicher Entdeckungen zu unterstützen.

OpenAI gab am Montag bekannt, dass seine KI-Modelle drei wissenschaftliche Entdeckungen in den Bereichen harmonische Analyse, Komplexitätstheorie und Quantenfeldtheorie hervorgebracht haben. Das Unternehmen beschrieb die KI-generierten Manuskripte als "Rohforschungsdaten" und hat externe akademische Gruppen beauftragt, die Erkenntnisse zu verifizieren, zu erklären und in einen Kontext zu setzen.

Mathematik und harmonische Analyse

Laut OpenAI haben seine Modelle einen Beweis für die lokale Glättungsvermutung in jeder räumlichen Dimension erbracht. Das Unternehmen erklärte, dass dieses Ergebnis auch die Kakeya-Vermutung und die Stein-Restriktionsvermutung in allen Dimensionen löst. Der Beweis wurde am 18. Oktober 2026 generiert und am folgenden Tag mit Lean, einem System zur Überprüfung mathematischer Beweise, formalisiert.

Alex Iosevich, Professor für Mathematik an der University of Rochester, sagte, OpenAI scheine die Vermutung in einer "historischen Entwicklung" "geknackt" zu haben. Iosevich merkte an, dass die Vermutung von seinem Doktorvater Chris Sogge formuliert wurde. "Jetzt bin ich voller Freude und Optimismus, denn das wissenschaftliche Unternehmen als Ganzes wird dank der KI-Revolution riesige Sprünge machen", sagte Iosevich gegenüber Al Jazeera.

Informatik und Komplexitätstheorie

In der Informatik behauptet OpenAI, dass seine KI die Exponential Time Hypothesis (ETH) widerlegt hat, eine langjährige Vermutung bezüglich der rechnerischen Schwierigkeit, bestimmte Probleme zu lösen. Das Unternehmen erklärte, dass die ETH "allgemein als wahr angesehen" und in Hunderten von Papers verwendet wurde, um bedingte Ergebnisse zur rechnerischen Härte abzuleiten.

Ryan Williams, Experte für Komplexitätstheorie am MIT, sagte, eine bestätigte Widerlegung wäre eine bedeutende Entwicklung. "Wir arbeiten daran, ihren Beweis zu verifizieren und zu untersuchen, um festzustellen, ob er standhält", sagte Williams gegenüber Al Jazeera. Er fügte hinzu, dass der Beweis eine "mysteriöse neue Methode vorschlägt, um eine Vielzahl grundlegender Probleme effizienter zu lösen".

OpenAI hat die KI-generierte Erklärung und den formalen Beweis in Lean auf GitHub veröffentlicht. Die Arbeit wird von einer Gruppe untersucht, zu der Russell Impagliazzo, Ramamohan Paturi und Ryan Williams gehören.

Physik und Quantenfeldtheorie

OpenAI berichtete, dass seine Modelle Existenzbeweise für bestimmte vierdimensionale Quantenfeldtheorien entwickelt haben, darunter die Quantenchromodynamik (QCD) und eine vereinheitlichte Vervollständigung des Standardmodells. Die Arbeit umfasst auch einen vorgeschlagenen Beweis für die Existenz der reinen Yang-Mills-Theorie, die einen Teil eines der Millennium-Probleme des Clay Mathematics Institute adressiert.

Im Gegensatz zu den Erkenntnissen aus Mathematik und Informatik wurden die physikalischen Materialien noch nicht öffentlich freigegeben. Der Nobelpreisträger für Physik David Gross wird eine Gruppe von Forschern leiten, darunter Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov, um die Erkenntnisse zu untersuchen. OpenAI teilte mit, dass die Gruppe beschlossen habe, die Veröffentlichung aufzuschieben, um ihre eigene Interpretation der Daten zu verfassen.

Verifizierung und akademische Anerkennung

OpenAI skizzierte vier Grundsätze für seine akademischen Kooperationen: Transparenz, keine akademische Anerkennung für die ursprüngliche KI-Entdeckung, Anerkennung für die erklärende Arbeit der Forscher und Unabhängigkeit. "Wir streben keine akademische Anerkennung für die Entdeckungen an, die von unseren internen Modellen erzeugt werden", sagte das Unternehmen.

Das Unternehmen räumte ein, dass die Auswahl der anfänglichen akademischen "Betreuer" eine Informationsasymmetrie erzeugt. OpenAI hat der Simons Foundation 5 Millionen US-Dollar gespendet, um Workshops und Programme zu unterstützen, die Forschern helfen sollen, KI-generierte Ergebnisse zu verstehen. Die Ankündigungen folgen einer früheren Veröffentlichung im Oktober, bei der OpenAI Hunderte von KI-generierten mathematischen Manuskripten geteilt hatte.


Quellen (auf Englisch)

KI-Übersetzung des englischen Originalartikels, automatisch geprüft, damit sie dasselbe aussagt wie das Original. Die Quellen wurden auf Englisch geprüft.

Advertisement

How do you feel about this story?

Comments 0

No comments yet. Start the discussion.

OpenAI meldet KI-Entdeckungen in Mathematik, Informatik und Physik; Experten verifizieren | Hermes Vector