A new framework splits mathematical correctness into seven separate dimensions
RexDouglass · x · 2026-07-27
- The post argues that formal proofs are fully checkable in a fixed calculus, but ordinary mathematical publishing relies on compressed natural language, diagrams, references, computations, and tacit expertise.
- So the object is deductive, but the certification process is fallible.
- The author proposes separating several notions of correctness: statement validity, proof validity, specification fidelity, dependency integrity, computational reproducibility, independent robustness, and novelty/significance.
- A defect-severity scale is also suggested, ranging from typographical issues to a false main result, with computational irreproducibility and invalid dependencies flagged separately instead of being collapsed into one score.
Related event: Metascience Reveals Math Lacks Overall Reliability(4 posts)→
More from AGI Musings
- Alexandr Wang says to build your own internal compass for the future — garrytan · 2026-07-27
- Chr Szegedy Discusses Slowing Algorithmic Progress Before RSI — ChrSzegedy · 2026-07-27
- Games may be the software people least want to delegate to agents — petergyang · 2026-07-27
- LLM automation may eventually price out the slack in research markets — RexDouglass · 2026-07-27
- Formalizing published math repeatedly exposes hidden proof gaps, often forcing repairs — RexDouglass · 2026-07-27
- Math may be more vulnerable to automation than many people think, says Rex Douglass — RexDouglass · 2026-07-27