#自动推理

EULER：多智能体数学发现系统

EULER以跨域桥接为搜索单元，通过直接、相邻和远域路线竞争，验证桥接的有效性。在120个猜想中产生10个证明和3个反例，压力测试减少错误结论，展示多智能体在数学发现中的潜力。