Amid the AI math proof debate, a curated set on proofs across generations
RexDouglass · x · 2026-09-20
Amid the ongoing debate over mathematical proofs and AI, DiracGhost recommends the article series "Mathematical Proofs Between Generations", highlighting pieces by Yuri Matiyasevich on formalizing mathematics and Hilbert's 10th problem, Efim Zelmanov on proof and progress from a research mathematician's perspective, and Benzmuller's "What is a Proof? And What Should it Be?" — useful background for thinking about whether AI can genuinely do mathematics.
More from Research
- Researcher urges papers to show actual training data samples, cites his CVPR24 practice — gabriberton · 2026-09-20
- Self-Rewarding LLMs isn't news: RLAIF has long been standard practice — burny_tech · 2026-09-20
- Long-standing Catalan constant irrationality proof posted, claimed to be LLM-assisted — burny_tech · 2026-09-20
- Brain Runs on 20 Watts: Can Neuromorphic Computing Make AI Less Power-Hungry? — burny_tech · 2026-09-20
- Four LLMs play Doom: Jev leads with 5.63 mean kills but 15x higher latency — shniydder · 2026-09-20
- Odyssey-3: One Pretrained World Model Adapts to Different Robot Arms With Hours of Demos — ChongZzZhang · 2026-09-20