Mathematicians clash over formal proofs: who voted to change math's rules?
jessi_cata · x · 2026-09-22
On the debate over formal proofs (Lean) in mathematics: the author notes the old standard was ZFC-based proofs, some want new rules, others don't — and "we never voted on changing rules." She pushes back on mathematicians dismissively citing "vague stuff" they care about over formalization, asking whose "we" defines math's standards amid AI-driven formalization.
Related event: Mathematicians Debate Whether AI Formal Proofs Should Count(2 posts)→
More from AGI Musings
- Understanding AI author joins Washington Post chat on how seriously to take AI risk warnings — binarybits · 2026-09-22
- Khosla says consumers need a personal AI loyal to them; zck predicts an AI Ralph Nader — zck · 2026-09-22
- Sebastian Raschka: Engineers Still Benefit From Understanding How LLMs Work — rseroter · 2026-09-22
- Michael Nielsen's New Essay Argues Focusing on Alignment May Be a Fundamental Mistake — michael_nielsen · 2026-09-22
- Countries unite to call for mandatory pre-deployment testing and independent evaluation of frontier AI — hugo_larochelle · 2026-09-22
- Swap "math" for "chess" in the AI-end-of-math hysteria — Darpinian · 2026-09-22