Euler：以人为中心的多智能体数学发现系统

事件综述根据 1 篇报道整理，10月16日更新

Qiuyu Chen 等作者发布 Euler，一个以共享结构化研究状态为核心的多智能体数学发现系统，记录精确命题与假设、命题间依赖、备选证明路线、失败尝试及每条结论的证据，供研究者和智能体共同使用。 作者称该系统围绕数学研究过程的共享结构化表示构建，当前源码快照为 canghaimeng/Euler 的修订版 ea505c7，包版本 0.3.0.dev0。仓库提供无需账号的仪表盘演示（固定初等证明流程）、可编辑的个人研究初始化器，以及配置智能体团队和里程碑的命令；工作台面向本地控制的研究机器或私有主机。数学案例研究档案则是早期工作流修订版下调查的源绑定记录，其论文与形式化项目从 examples 目录直接链接。

综述由模型根据报道生成，细节以各篇原文为准。