北京
分享至
一篇论文把AI数学的玩法翻了个面：不再盯着“解题”，而是转向“选题”。FAR框架的思路是，先到文献里搜开放问题，再大规模尝试，最后筛出最值得专家看的结果。
从5万篇到77个
组合学试点里，这套流程把51，110篇论文压缩到4，717个开放猜想，接着产出1，050个新解法。自动评判留下598个，最终推荐给专家评审的只有77个。
人工抽查了15项成果，全部正确。这意味着AI不仅能算答案，还能在海量文献里挑出真正有潜力的方向，把数学家的注意力引到该去的地方。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
