06:59
2026-07-19
chaoxu.prof
artificial-intelligence
AI Agents for the Working Mathematician
Mathematicians can now use autonomous AI agents such as OpenAI's Codex or ChatGPT Work to tackle conjectures over hours, far outperforming standard ChatGPT sessions. The agents maintain durable state,…