AI资讯
OpenAI 发布 722 篇数学手稿,两篇挂谷猜想论文将王虹成果推进到四维
10 月 7 日,OpenAI 一次性公开 722 篇数学手稿,论文与部分 Lean 证明上传至 GitHub。其中编号 074 的两篇手稿针对王虹与 Joshua Zahl 刚解决的三维挂谷猜想方向:一篇 97 页,声称证明了三维挂谷…
标签
共 1 篇资讯
10 月 7 日,OpenAI 一次性公开 722 篇数学手稿,论文与部分 Lean 证明上传至 GitHub。其中编号 074 的两篇手稿针对王虹与 Joshua Zahl 刚解决的三维挂谷猜想方向:一篇 97 页,声称证明了三维挂谷…