AI资讯
OpenAI 发布 722 篇数学手稿，两篇挂谷猜想论文将王虹成果推进到四维
10 月 7 日，OpenAI 一次性公开 722 篇数学手稿，论文与部分 Lean 证明上传至 GitHub。其中编号 074 的两篇手稿针对王虹与 Joshua Zahl 刚解决的三维挂谷猜想方向：一篇 97 页，声称证明了三维挂谷…
标签
标签： AI for Math
共 2 篇资讯
AI资讯
OpenAI 一次性放出大量数学成果，数学家称「纯粹疯狂」、消化或需数年
OpenAI 本周突然向数学界发布了一批数量庞大的数学结果，The Verge 与超过 36 位数学家进行了交流。这些研究者用「惊人」「压倒性」「前所未有」「超现实」「纯粹疯狂」等词形容自己的反应。在震撼、兴奋与不确定之外，数学家们普遍…