FAR：为AI数学研究构建问题筛选层

一篇论文提出FAR框架，将AI数学从"解题"转向"选题"，在文献中搜索开放问题并大规模尝试，再筛选出最值得专家关注的结果。在组合学试点中，该流程将51，110篇论文缩减至4，717个开放猜想，产出1，050个新解法，598个通过自动评判，77个推荐专家评审。人工抽查15项成果全部正确。