The AI revolution in math has arrived

Article

• AI systems like AlphaEvolve making real progress on open mathematical problems
• Models benefit from ‘positive reinforcement’ prompting — ‘you can do this’ improves output
• Researchers use AI to explore conjectures, verify partial proofs, generate visualizations

Discussion

• Skeptics: math is about understanding and language, not just solving problems; AI misses this
• Practical humor: commenter wants AI that organizes conference trips and fixes the coffee machine
• Counter: math’s auto-verifiability makes it ideal for AI — no external feedback needed
• Critics note AI still gives incorrect proofs; humans must verify and feed correct parts back

Discuss on HN