EULER：多智能体数学发现中的跨领域桥接与证据验证
原标题：EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical Discovery
AI 摘要
EULER 是一个多智能体数学发现系统，以跨领域桥接为搜索单元，通过直接、相邻领域和远距离领域三条竞争路线探索猜想，并利用压力测试和证据返回检查来过滤无效桥接。在 120 个近期猜想上，EULER 产生了 10 个证明、3 个反例和 45 个部分结果，消融实验表明桥接特定压力测试和可执行操作增益是成功的关键。该系统展示了跨领域转移在数学发现中的价值，并强调了避免训练数据污染的重要性。
正文节选
EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical Discovery Abstract Mathematical communities work with different objects, invariants, and tools, so transferring a problem across them is expensive and often skipped. We present EULER, a multi-agent system that takes such a transfer—a bridge—as its unit of search. Around a fixed conjecture, EULER runs direct, adjacent-domain, and distant-domain routes in competition; a bridge keeps its budget only if it sup