MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research
MathCoPilot:一种用于数学研究的人机共生范式的交互式系统
机构 * University of Science and Technology of China(中国科学技术大学) ; School of Mathematical Sciences, University of Science and Technology of China(中国科学技术大学数学科学学院)
专题命中 工具调用 :AI agent(abstract);autonomous agent(abstract);分类 cs.AI
AI总结 研究提出MathCoPilot这人机共生的数学研究系统,统一三项核心能力。通过它在特定子集和定理上比较四个大语言模型,发现当前模型处理本科问题成功率高,但在特定领域定理上仍面临挑战。