OpenAI 手稿声称证明四维挂谷集 Hausdorff 维数猜想，推进王虹三维成果

OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，其中编号 074 的两篇共 272 页，声称证明了三维挂谷极大函数猜想和四维挂谷集的 Hausdorff 维数猜想，作者栏只写 OpenAI。三维那篇把王虹与 Joshua Zahl 的集合版结果加强到极大函数版本，四维那篇把此前卡在 3 点几的维数下界直接推到 4，并引用了三维论文中的一个引理。两篇均未做 Lean 形式化，也未经过同行评审，OpenAI 在 README 中称部分未形式化结果可能有问题；四维只证了 Hausdorff 维数版本，未解决四维极大函数猜想，五维及以上仅用投影给出下界。陶哲轩牵头的人类数学协会（AHM）随后发表声明，敦促数学家停止与 OpenAI 合作。