PulseAugur
中
实时 05:35:54
实体 Putnam Mathematical Competition

Putnam Mathematical Competition

PulseAugur coverage of Putnam Mathematical Competition — every cluster mentioning Putnam Mathematical Competition across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_44849 ·

    Claude Opus 4.6 自主解决 10 道 Putnam 数学竞赛题

    研究人员展示了 Anthropic 的 Claude Opus 4.6，通过专门用于 Rocq 证明助手的工具进行增强，成功证明了 2025 年 Putnam 数学竞赛中的 12 道题中的 10 道。该实验采用了通过模型上下文协议 (MCP) 工具实现的“先编译，交互式回退”策略，这些工具是通过分析先前的证明助手实验而开发的。该 AI 代理在隔离的虚拟机上自主运行，在 17.7 小时的计算时间内部署了 141 个子代理，并处理了约 1…