Chinese contentOpenAI 宣布证明挂谷猜想等三项成果,发布方式引科研界不满
OpenAI 说它用 AI 证明了挂谷猜想还证伪了指数时间假说,但物理成果只给少数专家看,数学家们不买账,争议点在开放性上。
IT之家Source
OpenAI 说它用 AI 证明了挂谷猜想还证伪了指数时间假说,但物理成果只给少数专家看,数学家们不买账,争议点在开放性上。
OpenAI 的模型这回直接证了挂谷猜想和杨-米尔斯存在性,数学成果已过 Lean 验证,感兴趣可以去 GitHub 看证明原文。
OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了,还配了 Lean 验证文件,能不能站得住就看专家审查了。
OpenAI 这次一口气发了 3 项进展,数学那项直接冲着挂谷猜想全维度证明去的,王虹刚做完三维就被抢了个尾巴,可以看看模型到底证到什么程度。
OpenAI 把模型做 Kakeya 猜想和 QCD 的过程公开了,数学物理研究者可以直接去验证,感兴趣的话看看推理链长什么样。
OpenAI 说模型做出了三项新发现,连 Kakeya 猜想和标准模型都碰了,真假还没人验证,先看看再说。