扫描下载APP
其它方式登录
陶哲轩与王虹呼吁数学界重视对AI生成证明的‘消化’——即理解、阐释、整理和理论化，而非仅依赖AI产出结果。以森多夫猜想为例，陶哲轩通过人工重构AI证明，不仅使其可读可用，还拓展至更强猜想并大幅简化证明。文章强调数学成果需经共同体检验与知识沉淀，提出以Palomar登记库推动协作，并重构成果优先权认定标准。
新晋菲尔兹奖得主王虹以共同一作身份在NeurIPS 2019发表理论论文，将调和分析中的Riesz–Thorin插值定理引入机器学习，显著改进低秩矩阵近似中列子集选择（CSS）算法的近似比上界，证明了更紧的理论界限，体现了数学与AI深度交叉的原创价值。
