Euler: Towards Human-Centered Multi-Agent Mathematical Discovery

我们介绍Euler，一个以人为核心的基础数学研究系统，围绕共享的、结构化的研究过程构建。Euler将数学陈述、假设、证明依赖、替代方法、失败尝试和验证证据组织成连贯的研究图谱。这种表示方式使研究人员能够追踪结果的生成过程，并为会话中的代理提供持久、与任务相关的知识，用于规划、协作和验证。