跳到正文
Hugging Face Daily Papers·· 2026-08-20AI 评分57

研究提出 FAR 流水线,从 5,245 篇组合数学论文筛出 77 项待人工复审结果

The Problem Is the Problem: Towards Scalable Mathematical Discovery

阅读原文

本站未展示全文,请前往来源网站阅读。

AI 导读

研究提出 FAR(Find、Attempt、Recommend)文献到复审的级联流程,把研究者输入从单个问题改为研究方向。在组合数学试点中,流水线从 5,245 篇论文提取 6,453 条候选猜想或公开问题,筛出 4,717 条表述清晰且仍未解决的问题,经推理与自动分诊得到 598 项潜在解答,最终选出 77 项交由作者团队复审。

来源:Hugging Face Daily Papers · arxiv.org