大模型智能·· 11 小时前精选AI 评估 · 88/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
OpenAI 公开 722 篇数学手稿，将挂谷猜想扩展至四维
王的猜想，刚刚扩展到四维
AI 导读
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文与部分 Lean 证明上传至 GitHub。其中两篇共 272 页、作者栏只署名 OpenAI，一篇声称证明三维挂谷极大函数猜想，另一篇声称证明四维挂谷集的 Hausdorff 维数猜想，把此前卡在 3.059 的进度直接推到 4。
推荐理由
OpenAI 一次性放出 722 篇数学手稿，其中两篇把挂谷猜想推到三维极大函数版与四维；可关注其结果边界与学界反应。
来源：大模型智能 · mp.weixin.qq.com