A broad evidence atlas maps how mathematics is judged, written, and verified
RexDouglass · x · 2026-07-27
- The author says fields that do not study human behavior often lack the training, interest, and incentives to study how artifacts are produced inside their own institutions.
- The attached “empirical evidence atlas for mathematics” argues the literature is broad but fragmented across sociology of science, math education, philosophy, bibliometrics, reproducibility, formal methods, and AI evaluation.
- It is a broad scoping review through July 2026, not a preregistered systematic review, and it includes more than 80 reports and projects.
- The central asymmetry is that there is substantial empirical work on how mathematicians work, but very little representative measurement of material defects in published theorems.
- The taxonomy table maps evidence families to what they measure, from peer review and direct audits to formal verification and human-AI evaluation.
More from Research
- Tsinghua professor's ApexIntelligence raises $50M to build self-evolving foundation models — DeryaTR_ · 2026-10-16
- Fluids Don't Compute—They Contribute the Nonlinear Step, Sandberg Argues — anderssandberg · 2026-10-16
- Anders Sandberg on fluid computation: error budgets tighten quadratically over time — anderssandberg · 2026-10-16
- How the fluid computation works: force field advects particle to 0/1 boxes — anderssandberg · 2026-10-16
- FlashAttention creator Tri Dao joins Radical Numerics as scientific advisor — exnx · 2026-10-16
- SAIR Launches Open Math OS, Offering Free Compute and 100+ Tools for Community-Owned Math AI — Thom_Wolf · 2026-10-16