OpenAI 公布 AI 生成的数学与算法证明，并提出量子场论研究成果Chinese only
OpenAI 称，其模型证明了所有维度的局部光滑猜想，并给出指数时间假设不成立的证明；两项成果已用 Lean 形式化验证，证明材料已公开。模型还提出量子场论存在性证明，涉及千禧年难题的一个子问题，正接受外部专家审查；相关成果仍需学术界独立确认。
1 developments4 reports3 sources
Event developments 1
Post reports three math and physics proof claims by OpenAI’s AI
A post says OpenAI’s AI claims to have disproved the Exponential Time Hypothesis, solved the local smoothing conjecture and thereby settled the Kakeya conjecture. It also claims a rigorous Yang–Mills proof covering half of a Millennium Prize problem. The material provides no independent verification of these claims.
View source reports · 3 sources · 4 reports
- Rohan Paul (@rohanpaul_ai) · OpenAI claims AI proofs for problems in math, computer science and physics
- Rohan Paul (@rohanpaul_ai) · Post reports three math and physics proof claims by OpenAI’s AI
- The Verge AI 报道 · OpenAI announces three science discoveries and a role for external experts
- IT之家 科技新闻 · OpenAI unveils AI-generated math and algorithm proofs and a quantum field theory result
All reports 4
OpenAI unveils AI-generated math and algorithm proofs and a quantum field theory result
OpenAI says its model proved the local smoothing conjecture in all dimensions and produced a proof that the Exponential Time Hypothesis is false. Both results have been formalized in Lean, and the proofs are public. It also proposed an existence proof in quantum field theory that addresses a subproblem of a Millennium Prize Problem. External experts are reviewing the physics result, and the findings still need independent academic confirmation.
2 more sources reported this
- The Verge AI
- Rohan Paul (@rohanpaul_ai)
OpenAI announces three science discoveries and a role for external experts
OpenAI says it has made three “major” discoveries in mathematics, computer science and physics. External experts guided the computer science and physics results; for the math problem, OpenAI says they advised releasing the AI output so researchers could work through their own explanations.
2 more sources reported this
- IT之家 科技新闻
- Rohan Paul (@rohanpaul_ai)
Post reports three math and physics proof claims by OpenAI’s AI
A post says OpenAI’s AI claims to have disproved the Exponential Time Hypothesis, solved the local smoothing conjecture and thereby settled the Kakeya conjecture. It also claims a rigorous Yang–Mills proof covering half of a Millennium Prize problem. The material provides no independent verification of these claims.
3 more sources reported this
- IT之家 科技新闻
- The Verge AI
- Rohan Paul (@rohanpaul_ai)
OpenAI claims AI proofs for problems in math, computer science and physics
OpenAI claims its AI disproved the roughly 25-year-old Exponential Time Hypothesis, proved the local smoothing conjecture and thereby settled the Kakeya conjecture. It also claims a rigorous Yang–Mills proof covering half of a Millennium Prize problem. The supplied account provides no independent verification of these claims.
3 more sources reported this
- IT之家 科技新闻
- The Verge AI
- Rohan Paul (@rohanpaul_ai)