SOURCE-LINKED INTELLIGENCE

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

arXiv · AI, language, vision and robotics · article · Aug 28, 2026 · UTC

Mathematical communities work with different objects, invariants, and tools, so transferring a problem across them is expensive and often skipped. We present EULER, a multi-agent system that takes such a transfer--a bridge--as its unit of search. Around a fixed conjecture, EULER runs direct, adjacent-domain, and distant-domain routes in competition; a bridge keeps its budget only if it supplies an operation the source representation cannot execute and its target-side evidence returns to the original statement along a checked implication. Six ordered stress tests reject invalid bridges before e

Read original source ↗ Open in workspace

recordType

paper

region

Global