Source record

Published by arXiv cs.MA (T1 source). The original is at https://arxiv.org/abs/2609.00032.

Pipeline notes

The summary and note below are generated by the signal pipeline — they are Beyond Desk’s reading, not quotations from the source.

EULER is a multi-agent system for mathematical discovery that treats cross-domain problem transfer (a 'bridge') as the unit of search. Bridges must supply an operation the source cannot execute and pass six stress tests. Evaluated on 120 frozen combinatorics conjectures, it produced 10 proofs, 3 refutations, and 45 partial results; ablation showed stress tests cut invalid conclusions from 9 to 3.

A concrete multi-agent gating pattern—bridge-specific stress tests before expensive search—that could inform workflow design in other structured exploration tasks.

Cited by

No citations on record.