数学人工智能 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 数学人工智能 本主题由提交工具自动创建,可在此补充洞察与资料。 相关消息(按子主题自动聚合) 思维链 1 SHAPE:解析数学推理中思维链的形态 09-02 技术趋势 1 AI4Math 3万篇论文实证审计:AI正从润色走向证明构建 09-01 搜索能力评测 1 结构检索中的表层形式偏差:从数学题到智能体轨迹 09-02 测试时优化 1 TTPO:测试时策略优化 08-28 程序进化 1 AlphaEvolve 将矩阵乘法指数上界降至 2.371177 09-01 过程评测 1 从原子能力到智能体:可解释评测 LLM 数学智能体能力 08-29