What Is Math Worth If AI Proves Theorems Cheaply

As AI threatens to produce correct proofs cheaply, mathematician Pengchuan Zhang asked what remains valuable in math, while François Fleuret countered with four arguments that proving theorems is worthwhile in itself, not merely for practical results.

2026-09-12 ~ 2026-09-13 · 2 related posts

• If AI can produce correct proofs cheaply, what still matters? A mathematician's take — RexDouglass · 2026-09-12
• François Fleuret: proving theorems is valuable in itself, math isn't just about applications — francoisfleuret · 2026-09-13