EULER: Exploring Underused Links with Evidence-Checked Return for Multi-Agent Mathematical Discovery

EULER 把跨领域桥接当作搜索对象，只有当桥接引入源表示无法执行的操作，并能沿 checked implication 把证据送回原命题时才保留。对冻结、去污染的 120 个组合数学猜想，它产出 10 个证明、3 个反例和 45 个范围化部分结果；六项压力测试把错误结论由 9 个压到 3 个，且“领域距离”本身并不能预测成功。