FreeLLMOpenAI seeks external review of AI‑generated proofs overturning ETH and tackling wave conjecture
OpenAI veröffentlichte KI‑erzeugte Beweise, die die Exponential‑Time‑Hypothese herausfordern und eine jahrzehntealte Wellen‑Vermutung adressieren, und lädt unabhängige Experten zur Verifizierung ein.
OpenAI announced that its internal AI models have generated proofs that refute the Exponential Time Hypothesis (ETH) in computer science and resolve part of a Millennium Prize Problem in mathematics.
The company also claims a proof related to a 1991 wave concentration conjecture by Christopher Sogge, and a physics result, though details on the latter are limited.
OpenAI translated the mathematics and computer‑science proofs into the Lean language, allowing computer‑checked verification of each logical step, but notes that Lean only confirms the formal statement as written.
OpenAI will publish the raw data, including the written and Lean proofs, and has pledged funding for a conference to discuss the implications of the findings.
Was das für dich bedeutet
If confirmed, overturning the ETH would unsettle many theoretical results that rely on it, potentially reshaping algorithm research and complexity theory. For AI users, the episode highlights the growing role of AI in generating formal research and the need for rigorous, independent verification, especially when free or locally run models aim to replicate such capabilities.
Quellen
- OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics, The Decoder, 27 Oct 2026
Automatisch aus den obigen Quellen geschrieben, dann von unserem Code geprüft: Jede Zahl und jeder Name muss darin vorkommen, und kein Satz darf eine Quelle kopieren. Einen Fehler entdeckt? Melde ihn.
Welche KI kannst du heute kostenlos nutzen?
Jedes kostenlose KI‑Modell, bewertet durch blinde menschliche Stimmen, mit dem Speicher und der Geschwindigkeit, die es auf deiner eigenen GPU benötigt.