EULER：面向多智能体数学发现的欠利用关联探索与证据校验回报

数学社区使用不同的对象、不变量和工具，因此在它们之间转移问题的成本很高，而且经常被跳过。我们提出了 EULER，一个多智能体系统，它采用这种传输（一座桥）作为其搜索单元。围绕一个固定猜想，EULER运行直达、邻域、远域路由进行竞争；仅当桥提供源表示无法执行的操作并且其目标端证据沿着检查的含义返回到原始语句时，桥才会保留其预算。在昂贵的搜索开始之前，六次有序的压力测试会拒绝无效的桥梁。我们根据 120 个最近的猜想来评估 EULER。这些猜想在搜索和筛选污染之前被冻结，并取自最近在组合学领先期刊《组合理论杂志 A 系列》上发表的公开论文。 EULER 提供了 10 个证明和 3 个反驳，以及 45 个范围内的部分结果。两个机制被消融：桥梁特定的压力测试将错误结论从 9 个减少到 3 个，桥梁材料与目标本地操作相结合产生了 +4.2 解决任务的正相互作用，而这两个因素单独产生的。域距离不能可靠地预测成功；可执行操作增益和有效返回确实如此。