待验证50% 置信事实精确时间
近年的 AlphaTensor、FunSearch 等工作用搜索与学习方法发现了矩阵乘法的新算法或新的组合构造，部分结果已被证明正确且具有实际价值。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/13
首次发现
有效期至：2027/1/11
来源
涉及实体
相关事实
待验证AlphaProof基于强化学习与形式化证明系统（Lean证明助手）的结合，通过蒙特卡洛树搜索等算法探索证明路径68% 相似待验证EPOCH在十个具体发现问题上带来实质进展，包括改进的可执行构造、优化算法、反例和有证明支持的结果，跨越数学与计算两大领域65% 相似待验证有研究者宣称在OpenAI近期公布的数学结果基础上做出了显著改进，并通过Lean定理证明器完成了形式化验证64% 相似待验证赋予模型执行代码和工具调用的能力，使其能在数学、编程等有可验证奖励的领域进行搜索并显著提升表现64% 相似待验证研究者在三个工具使用基准测试上结合多个不同骨干LLM验证CITA，结果显示在Tool F1和任务成功率两项指标上都取得一致提升63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1014153API
curl https://kongchang.com/api/v1/knowledge/claims/1014153MCP
get_claim(id=1014153)