The Problem Is the Problem: Towards Scalable Mathematical Discovery

• 类型：arxiv
• 标识：2608.16977
• 链接：https://arxiv.org/abs/2608.16977
• 主分类：rag
• 形态：method
• 被引：0
• 被引来源：Semantic Scholar
• S2被引：0
• 影响力被引：0
• TLDR：Inspired by search and recommender systems, this work builds Find, Attempt, and Recommend (FAR), a literature-to-review cascade that automates the search for suitable problems and focuses human attention on artifacts that have passed several stages of filtering.
• 待LLM分类：否
• 标题中文：问题才是问题：迈向可扩展的数学发现
• TLDR中文：受搜索与推荐系统启发，本文构建了 Find、Attempt 与 Recommend（FAR），即一个从文献到综述的级联流程，可自动搜索合适的问题，并将人类注意力聚焦于经过多阶段筛选的成果上。
• 成熟度：research
• 场景：literature mining、automated discovery、mathematical research
• 来源文件：
• /inbox/tom/_candidates/2026-08-20-agent-rag-longcontext-candidates.json
• [S2 enrich]