数学家自述用 Codex CLI+Claude Code 做 agentic 数学，代数几何新结果在即
burny_tech · x · 2026-10-01
一位数学家发推称「agentic 数学时代已来」：他与模型协作，从粗略想法中整理理论形状、催生新证明，代数几何与非交换代数领域的成果即将公布。他观察到模型能从符号计算中归纳、提出新猜想、通过变形论证探索证明空间。
他的工作流（引用回复中详述）：
- 工具组合：Codex CLI（Astra Max）+ Claude Code（Opus 5.5 Max）
- Astra 负责重活：搭建知识库、初始分工、管理多个 agent——它们或处理已有知识，或通过变形已有论证「猜」新内容，像一群爬虫以小步探索渗透领域
- 重度依赖数值计算帮 agent 验证或催生猜想
- Lean 只负责最终确认证明无误；关键是人与 agent 交互后脑中已形成证明蓝图，只需把握关键方向去引导
「编程与Agent」频道最新
- Cua CEO 谈 AI Agent 为何还在靠截图操作网页 — thursdai_pod · 2026-10-01
- OpenAI Dots 进军工程场景：本地桌面与云端环境两种接入方式 — Dimillian · 2026-10-01
- 开发者实测 Muse：Agent 不够聪明且重度耗电 — ivan_bezdomny · 2026-10-01
- 从零手搓极简编码智能体，架构详解涵盖会话分支与压缩 — nik-55 · 2026-10-01
- Cognition 成 CoreWeave Vera Rubin 首个客户,吞吐达 GB200 约4.8倍 — silasalberti · 2026-10-01
- Astra ultrafast 3 分钟从零复刻完整 App,耗 500 美元套餐 10% 额度 — OpenAIDevs · 2026-10-01