FreeLLMOpenAI seeks external review of AI‑generated proofs overturning ETH and tackling wave conjecture
OpenAIは指数時間仮説に挑むAI生成証明と、数十年にわたる波動予想への対処を公開し、独立した専門家による検証を呼びかけました。
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.
あなたにとっての意味
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.
ソース
- 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
上記のソースから自動的に生成し、当社のコードでチェックしました：すべての数値と名前が含まれ、文がソースをコピーしてはいけません。間違いを見つけましたか？報告する。
今日無料で使えるAIはどれですか？
すべての無料AIモデルをブラインドヒューマン投票で順位付けし、あなたのGPUで必要なメモリと速度を示します。