120个猜想试出10个证明3个反例！EULER多智能体跨界数学搜索，压力测试砍掉9个错误结论！
EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical Discovery
📖 AI 总结
EULER是一个多智能体系统，以“桥接”作为数学问题搜索的基本单位，旨在解决数学社区因领域间转移成本高而跳过跨域方法的问题。该系统围绕固定猜想，并行运行直接、相邻领域和远距离领域三条搜索路线，并通过六项有序压力测试在昂贵搜索前筛除无效桥接。在120个近期猜想上的评估中，EULER生成了10个证明、3个反例和45个部分结果。消融实验显示，桥接专用压力测试将错误结论从9个降至3个，而桥接材料与目标域原生操作的结合产生了+4.2个已解决任务的协同增益。值得注意的是，领域距离并不能可靠预测成功率，真正关键的是可执行操作的增益和有效的证据返回。该研究为多智能体数学发现提供了新的搜索范式。
🔑 关键词速览
| EULER | 一个多智能体系统，以跨领域转移（桥梁）为搜索单元，用于数学发现。 |
| bridge | 数学问题从一个领域转移到另一个领域的连接，包含源表示无法执行的操作和可验证的返回路径。 |
| multi-agent system | 由多个智能体协作完成任务的系统，此处用于并行探索不同数学领域。 |
| stress tests | 用于在搜索前快速拒绝无效桥梁的检查步骤，确保桥梁的可行性和有效性。 |
| ablation | 通过移除或修改系统组件来评估其贡献的实验方法。 |
📱 每天一份 AI 前沿日报
关注公众号，每天 09:00 推送 · 不错过任何重磅