数学社区使用的对象、不可变式和工具各不相同，跨领域转移问题成本高且常被跳过。EULER 将这种转移——即“桥”——设为搜索单元。围绕固定猜想，系统并行运行直接、相邻域和远域三条路径；只有当桥提供源表示无法执行的操作且目标侧的证据通过已检验的蕴含返回原命题时，桥才保留预算。六个有序压力测试在昂贵搜索前剔除无效桥。我们在 120 条近期猜想上评估 EULER，这些猜想在搜索前冻结并经筛查避免污染，均来源于《组合理论杂志·A 系列》近期论文。EULER 产生了 10 条证明、3 条反驳以及 45 条有范围的局部结果。消融实验显示，两项机制显著提升性能：桥专属压力测试将错误结论从 9 条降至 3 条；桥材料与目标本地操作的组合带来 +4.2 的任务解决增益，单独使用任一因素均未达此效果。域距离并未可靠预测成功率，关键因素是可执行操作的增益和有效返回的存在。
点评