摘要
针对现有自动化研究系统在需要严谨证明的数学理论发现领域的不足，本文提出 ReasFlow，一个端到端的自主智能体系统。该系统模拟人类专家与研究生的协作模式，具备内部逻辑验证循环以审计连贯性并修正错误，同时集成自动知识检索与自我改进机制以挖掘程序性启发式知识。ReasFlow 统一了文献综合、算法设计、定理证明及论文撰写流程，仅需极少提示即可生成包含严谨理论与实证内容的完整研究论文，在评估中优于现有开源基线。
AI 推荐理由
论文核心聚焦于数学领域的理论推理、逻辑验证及证明生成，构建了以推理为中心的代理系统。
研究机构
Peking University
University of Electronic Science and Technology of China
Beijing Normal University
Tsinghua University
Wuhan University
论文信息