OpenAI-Modelle widerlegen die Exponential Time Hypothesis und beweisen die Existenz von QCD
Working with academic communities to build scientific understanding
OpenAI stellt drei neue Ergebnisse seiner Modelle vor: einen Beweis der lokalen Smoothing-Vermutung in allen Dimensionen, die Widerlegung der Exponential Time Hypothesis und einen Existenzbeweis für Quantenchromodynamik und eine Vereinheitlichung des Standardmodells. Um die Ergebnisse zu verstehen, arbeitet OpenAI mit externen Wissenschaftlern zusammen – unter anderem mit Russell Impagliazzo, Ryan Williams und David Gross. Drei verschiedene Freigabestrategien werden getestet, mit Transparenz, Unabhängigkeit und ohne akademische Anerkennung für OpenAI.
Überraschenderweise hat unser System kürzlich bewiesen, dass die ETH falsch ist – ein Ergebnis, das anschließend in Lean verifiziert wurde.