AI should turn ugly math proofs into elegant “from The Book” arguments
docmilanfar · x · 2026-07-26
Milanfar says Erdos called the most elegant proofs “from The Book,” and argues that the dream for AI in mathematics is to turn every ugly proof into one that feels “from The Book.”
The post is a concise vision statement about AI-assisted mathematics: not just solving problems, but producing proofs that are cleaner, more elegant, and more human-readable.
More from AGI Musings
- Open-source models will spread everywhere, and policy scare tactics won’t stop them — GabGarrett · 2026-07-26
- Math cannot be the clean line for keeping ordinary people from using AI — RexDouglass · 2026-07-26
- Job prestige now tracks the model tier your company will pay for — rickasaurus · 2026-07-26
- AI safety critics mock the “employed but worried” contradiction in the industry — max_paperclips · 2026-07-26
- OpenAI and Anthropic job listings map a public AGI roadmap — imjustnewatai · 2026-07-26
- “Heideggerian AI is sorely underfunded,” says a post pairing the joke with Dreyfus’ classic critique — teortaxesTex · 2026-07-26