Mathematicians Debate Whether AI Formal Proofs Should Count

Mathematicians are debating what standards should apply to AI-assisted proofs. Some argue that under traditional rules only proofs in ZFC count and that shifting toward Lean-style formal proofs amounts to an unvoted rule change, raising the deeper question of who defines the mathematical community.

2026-09-22 ~ 2026-09-22 · 2 related posts

• Lean vs ZFC: the rules of mathematical proof weren't changed by any vote — jessi_cata · 2026-09-22
• Mathematicians clash over formal proofs: who voted to change math's rules? — jessi_cata · 2026-09-22