Mathematical archaeology: tracing where the AI proof that ζ(5) is irrational came from
ctjlewis · x · 2026-09-26
Responding to the much-discussed proof that ζ(5) is irrational, mathematician Calegari performs "mathematical archaeology" to trace where the underlying ideas originated. He focuses on previously uncited work of Prévost, as well as the more obvious connection to Zudilin's applications of Hankel determinants — a serious attempt by the math community to situate AI-assisted proofs in the literature.
More from Research
- New paper: Provably Complete Generalized Planning with LLMs — JFPuget · 2026-09-26
- ICML 2027 PC Asks for Ideas on Handling AI Slop and Review Overload — MarkSchmidtUBC · 2026-09-26
- Jevless: Jev-style typed decisions from any model with logprobs, plus a local server — seraphius · 2026-09-26
- Physicist reveals terms of his paid Anthropic blog post: mid-market rate, no NDA signed — burny_tech · 2026-09-26
- Paper 'Mecha-nudges for Machines' Accepted as NeurIPS 2026 Spotlight — ethayarajh · 2026-09-26
- AutoScreen: AI Agents Reprioritize CRISPR Hits, Reveal How Cancer Cells Evade Immune Attack — KexinHuang5 · 2026-09-26