PapersBuilders12:38Chinese contentEuler：面向人机协作的多智能体数学研究系统做数学或搞智能体研究的可以看看，Euler 把证明过程做成图谱，还能回看每一步推理，和只出答案的系统思路不一样。#Euler#多智能体#研究图谱#形式化验证aarXiv cs.AI@Qiuyu Chen et al. (6)SourceRead laterReadWorth followingUsefulFollow Euler