一篇新论文把AI数学的玩法翻了个面。过去模型只负责解题，题目是人给的；现在这套叫FAR的框架让AI自己钻进文献堆里找开放问题，再大规模尝试求解，最后只把最值得专家看的结果挑出来。

从5万篇到77个

打开网易新闻 查看精彩图片

组合学试点里，这套流程先把51,110篇论文压缩成4,717个开放猜想，接着产出1,050个新解法。自动评判筛掉一批后，598个过关，最终只有77个被推荐给专家评审。

人工抽查了15项成果，全部正确。这意味着AI不只是在做题，而是在帮数学界判断哪些问题值得投入人力。