对谈话人意见建议50条

对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds Era of Experience 这篇文章中提到：如果要实现 AGI， 构建能完成复杂任务的通...