OpenAI stellt drei KI-Forschungsaussagen der akademischen Prüfung vor | AI Archive

OpenAI stellt drei KI-Forschungsaussagen der akademischen Prüfung vor

aiinsider · 2026-10-27T11:50:53+00:00

OpenAI hat drei von KI generierte Forschungsbehauptungen aus den Bereichen Mathematik, Informatik und Physik zur unabhängigen akademischen Prüfung eingereicht. Die Initiative zielt darauf ab, herauszufinden, wie Wissenschaftler überprüfen können, ob die Schlussfolgerungen der KI echte neue Entdeckungen unterstützen und nicht nur überzeugende Antworten produzieren. In der Informatik werden Experten, darunter Ryan Williams, eine Behauptung prüfen, wonach die Exponential Time Hypothesis widerlegt ist. Mathematiker werden einen Beweis zur lokalen Glättungsvermutung bewerten, der das Wellenverhalten über Dimensionen hinweg behandelt. Physiker unter der Leitung von David Gross werden behauptete Existenzbeweise für Quantenfeldtheorien, wie die Quantenchromodynamik, evaluieren. Zur Unterstützung der Überprüfung stellte OpenAI mathematische Beweise bereit, die mit der Lean-Software überprüft wurden, um logische Strenge sicherzustellen. Obwohl diese Bemühungen stärkere Belege liefern als Standarderklärungen, müssen Forscher die Ergebnisse und ihre weiterreichenden Implikationen weiterhin interpretieren.