OpenAI 称内部 AI 解决 Kakeya 猜想等三大科学难题
OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了，还配了 Lean 验证文件，能不能站得住就看专家审查了。
#AIforScience
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「AIforScience」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月27日
OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了，还配了 Lean 验证文件，能不能站得住就看专家审查了。
