#
数学推理
4 篇相关内容
AI数学推理新发现：精准的评审未必能提升解题成功率
最新研究表明，在多智能体数学推理系统中，评审环节的精准度与最终解题成功率并不直接相关。即使评审能准确发现问题，若系统无法有效采纳建议，整体性能仍会受限。
a
ReasFlow：多智能体系统赋能数学推理与科学发现
研究团队提出ReasFlow系统，通过基于知识的智能体协作，辅助完成以推理为核心的科学发现任务，尤其在需要严谨证明的数学领域实现自动化研究。
a
数学解题新突破：ProofCouncil大模型智能体攻克开放性问题
研究人员推出ProofCouncil大模型智能体，采用作者-评审架构解决开放数学问题，在FirstProof挑战赛中表现最佳，成功解决6/10问题。
a
通义千问团队探索数学推理过程监督新方法，提升大模型可靠性
针对大语言模型在数学推理中可能产生计算错误或逻辑漏洞的问题，通义千问团队提出过程监督新思路，旨在提升推理过程的可信度。
通