扫描下载APP
其它方式登录
OpenAI于10月7日发布两篇数学手稿,声称分别证明了三维挂谷极大函数猜想(强于王虹与Zahl的成果)和四维挂谷集Hausdorff维数猜想(首次达到满维4),引发数学界震动;王虹等人此前突破为AI工作奠定基础,而陶哲轩等学者质疑其批量发布模式冲击人类数学研究范式。
文章以韦东奕现象为切入点,反思公众对数学家的刻板想象与人设绑架,指出数学家是一种职业而非固定角色;通过对比王虹、邓煜等真实数学家的多元生活状态,批判将专业能力与生活简朴、不善世故等外在特征强行绑定的认知偏差,呼吁尊重个体生活的自主性与复杂性。
陶哲轩与王虹呼吁数学界重视对AI生成证明的‘消化’——即理解、阐释、整理和理论化,而非仅依赖AI产出结果。以森多夫猜想为例,陶哲轩通过人工重构AI证明,不仅使其可读可用,还拓展至更强猜想并大幅简化证明。文章强调数学成果需经共同体检验与知识沉淀,提出以Palomar登记库推动协作,并重构成果优先权认定标准。
新晋菲尔兹奖得主王虹以共同一作身份在NeurIPS 2019发表理论论文,将调和分析中的Riesz–Thorin插值定理引入机器学习,显著改进低秩矩阵近似中列子集选择(CSS)算法的近似比上界,证明了更紧的理论界限,体现了数学与AI深度交叉的原创价值。