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