Mathematician details agentic math workflow with Codex CLI and Claude Code, results coming
burny_tech · x · 2026-10-01
A mathematician declares the "era of agentic mathematics" is here: he collaborates with models that generalize from symbolic computations, propose new conjectures, and explore proof space by deforming arguments. New results in algebraic geometry and non-commutative algebra are coming soon.
His workflow, detailed in replies:
- Tool combo: Codex CLI (Astra Max) plus Claude Code (Opus 5.5 Max)
- Astra does the heavy grinding: setting up the knowledge base, dividing work, and managing agents that either process existing knowledge or guess new results by deforming existing arguments—like crawlers penetrating the field in small steps
- Heavy reliance on numerical computations to give agents confidence in claims or spawn new ones
- Lean just certifies nothing went wrong; the proof blueprint lives in his head from the interaction
More from coding & agent
- Google Launches Gemini 4 Argon, Claims SOTA on Long-Horizon Software Engineering — lmthang · 2026-10-01
- Developer review: Muse is good but the agent is slow, dumb, and battery-hungry — ivan_bezdomny · 2026-10-01
- Building a Minimal Coding Agent From Scratch: Architecture Deep-Dive — nik-55 · 2026-10-01
- Dev Builds a Minimal Coding Agent From Scratch, With Session Branching and Compaction — nik-55 · 2026-10-01
- Cognition First to Run NVIDIA Vera Rubin on CoreWeave, ~4.8x Throughput vs GB200 — silasalberti · 2026-10-01
- Astra ultrafast rebuilds an app from scratch in ~3 mins using 10% of a $500/mo plan — OpenAIDevs · 2026-10-01