多智能体AI
2 published articles
人工智能3 min read
形式数学
中国实验室如何破解AI数学证明的瓶颈
南京大学的ToMap框架通过识别分解步骤为关键瓶颈，在完整证明自动形式化方面取得了最先进的结果。采用基于Pareto引导的迭代式证明分解进化，ToMap在ProofFlowBench基准测试中联合句法-语义准确率提升了19%，同时降低了测试时成本。
2026-07-30
大语言模型与模型4 min read
AI研究
四种人格，一个答案：为何异构推理在最难人类测试中击败了最佳AI
PoTRE将推理分解为四个并行工作的代理，然后动态调和它们的答案。它在人类终极考试上达到49.92%，超过了之前的官方最佳成绩。该方法使用的令牌比扩展的基线更少。
2026-07-24