一篇论文把AI数学的玩法翻了个面：不再盯着“解题”，而是转向“选题”。FAR框架的思路是，先到文献里搜开放问题，再大规模尝试，最后筛出最值得专家看的结果。

从5万篇到77个

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

组合学试点里，这套流程把51，110篇论文压缩到4，717个开放猜想，接着产出1，050个新解法。自动评判留下598个，最终推荐给专家评审的只有77个。

人工抽查了15项成果，全部正确。这意味着AI不仅能算答案，还能在海量文献里挑出真正有潜力的方向，把数学家的注意力引到该去的地方。