数学家自述用 Codex CLI 与 Claude Code 做 agentic 数学

2026年10月1日，AGI Hunt 报道一位数学家自述使用 Codex CLI（Astra Max）与 Claude Code（Opus 5.5 Max）协作开展 agentic 数学研究，并称代数几何与非交换代数领域的新结果即将公布。据其描述，工作流中 Astra 负责搭建知识库、完成初始分工并管理多个 agent，这些 agent 通过变形已有论证来猜测新内容，而 Lean 仅用于最终确认证明无误。他同时观察到，模型能够从符号计算中归纳总结、提出新猜想并探索证明空间。目前该报道尚未给出具体研究成果，相关结论有待后续公布。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。