华人女学霸AI杀疯！本科最难数赛12题全对，自主证明首次公开

华人团队研发的AxiomProver在2025年Putnam数学竞赛中获满分，12题全解并生成Lean形式化证明，其中部分证明超2000行、耗时近9小时。AI意外攻克组合与几何难题，解题思路与人类迥异，甚至在人类失败的A6题上以蛮力取胜。陶哲轩等指出AI数学能力已达重要里程碑，GPT-5.2 Pro亦展现惊人解题效率，引发“奇点临近”讨论，标志着人机协同数学研究新时代的到来。
来源：https://mp.weixin.qq.com/s/CynOounUv592_Y_rAGHuBA