数学家自述用 Codex CLI+Claude Code 做 agentic 数学，代数几何新结果在即

一位数学家自述用 Codex CLI（Astra Max）与 Claude Code（Opus 5.5 Max）协作做 agentic 数学，并称代数几何与非交换代数领域的新结果即将公布。其工作流中 Astra 负责搭建知识库、初始分工并管理多个 agent，让它们通过变形已有论证猜测新内容，Lean 只负责最终确认证明无误。他还观察到模型能从符号计算中归纳、提出新猜想并探索证明空间。