OpenAI发布挂谷猜想手稿，数学界讨论AI冲击

OpenAI公开722篇数学手稿，其中挂谷方向的两篇分别声称证明三维挂谷极大函数猜想和四维挂谷集Hausdorff维数，论文和部分Lean证明已上传GitHub。