创业邦·· 8 小时前AI 评估 · 70/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
OpenAI 公开 722 篇数学手稿，声称证明三维挂谷极大函数与四维挂谷猜想
王的猜想，刚刚扩展到四维
AI 导读
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，作者栏均署 OpenAI。其中编号 074 的两篇分别声称证明三维挂谷极大函数猜想和四维挂谷集的 Hausdorff 维数猜想，后者把此前卡在 3 点几的维数下界直接推到 4，两篇共 272 页，四维论文还引用了三维论文中的引理。
来源：创业邦 · mp.weixin.qq.com