FreeLLMOpenAI releases AI‑generated proofs disproving ETH and solving major math conjectures
OpenAIは10月26日、2026日に、数学、コンピュータサイエンス、物理学に関する3つの新しい科学的ブレークスルーを発表しました。
OpenAIは10月26日、2026日に、数学、コンピュータサイエンス、物理学に関する3つの新しい科学的ブレークスルーを発表しました。
In computer science, the AI output presented a deterministic algorithm that counts satisfying assignments of fixed‑width CNF formulas in sub‑exponential time and polynomial space, refuting the Exponential Time Hypothesis for 3‑SAT.
In physics, OpenAI released a rigorous existence proof for interacting quantum field theories with gauge fields and fermions in four dimensions, including QCD and a unified Standard Model completion.
Each result is posted on GitHub with Lean‑formalized proofs, and independent expert groups led by Russell Impagliazzo, Ramamohan Paturi, Ryan Williams (computer science) and David Gross (physics) will examine the claims.
あなたにとっての意味
The releases illustrate how AI can generate complex proofs, prompting the research community to develop new verification workflows. For users of free or locally‑run models, the work highlights the gap between cutting‑edge AI research and the capabilities of publicly available models, underscoring the need for open‑source tools that can assist in proof checking and collaborative validation.
ソース
- OpenAI announces three big science discoveries and a new way to work with academics, The Verge, 26 Oct 2026
上記のソースから自動的に生成し、当社のコードでチェックしました：すべての数値と名前が含まれ、文がソースをコピーしてはいけません。間違いを見つけましたか？報告する。
今日無料で使えるAIはどれですか？
すべての無料AIモデルをブラインドヒューマン投票で順位付けし、あなたのGPUで必要なメモリと速度を示します。