Euler：面向人机协作的多智能体数学研究系统
Euler: Towards Human-Centered Multi-Agent Mathematical Discovery
做数学或搞智能体研究的可以看看，Euler 把证明过程做成图谱，还能回看每一步推理，和只出答案的系统思路不一样。
研究团队提出 Euler，一个以人为中心的数学研究系统。它把数学陈述、假设、证明依赖、失败尝试和验证证据组织成连通的研究图谱。研究者可以选中图谱节点回看智能体此前的推理过程，并在保存的团队状态下继续探索其他方向。论文通过三个数学研究案例演示了 Euler 的用法，并给出了系统实现与软件验证。
Euler: Towards Human-Centered Multi-Agent Mathematical Discovery
Mathematical research drives scientific discovery, and recent advances in AI for mathematics have shown that language-model agents can solve challenging problems and develop substantial mathematical proofs. Yet much of today's AI-for-mathematics work centers on obtaining a final answer. This emphasis leaves the exploration behind a result difficult for researchers to understand, while long-running investigations face fragmented context and the risk of unsupported claims propagating across reasoning steps. We present Euler, a human-centered mathematical research system built around a shared, structured representation of the research process. Euler organizes mathematical statements, assumptions, proof dependencies, alternative approaches, failed attempts, and verification evidence into connected research graphs. This representation allows researchers to trace how results are developed and supplies agents with persistent, task-relevant knowledge for planning, collaboration, and verification across sessions. Researchers can also select a graph node linked to a saved team state, revisit the agents' earlier reasoning, and explore alternative directions through continued interaction. We illustrate Euler's capabilities through three mathematical research case studies and describe the implemented system and its software validation.
