Math community debates whether AI-assisted proofs of known-solvable problems deserve credit
dsavitt · x · 2026-09-07
dsavitt clarifies in a debate with RexDouglass and littmath that Frank already knew zeta5(3) was doable with existing methods and felt it wasn't worth his time — he'd rather pursue new methods for less obviously doable problems, and suggests such work suits PhD students learning the area. The dispute centers on whether 'pressing the button' for expected results in AI-assisted math has any point.
More from AGI Musings
- Anthropic's S-1 pledges AI for curing diseases and serving 4.6B underserved patients — petergyang · 2026-10-27
- Goldman finds statistically significant negative link between AI adoption and US employment growth — ben_j_todd · 2026-10-27
- a16z: World-changing tech makes a chaotic entrance — AI agents are following the same path — a16z · 2026-10-27
- NEJM AI on medical education: mastery requires performing without the machine — BraydonDymm · 2026-10-27
- Dev warns abliterated models could wreck software supply chains with 1000+ transitive dependencies — nitarshan · 2026-10-27
- Delete your priors: why every SOTA model drop should reset how you think the world works — zack_overflow · 2026-10-27