这项由浙江大学张宁宇教授领导的研究团队与蚂蚁集团联合完成，发表于2025年的国际顶级会议，研究编号为arXiv:2512.01822v1。有兴趣深入了解的读者可以通过该编号查询完整论文。 过去几年，我们见证了AI在下棋、写代码、解数学题方面的惊人表现。但这些AI就像一个只会按照标准答案做题的优等生——它们能把题目做对，却从来不会想出新的解题方法。浙江大学的研究团队提出了一个有趣的问题：如果AI真的 ...