Methodological analysis reveals AI systems create reviewable mathematical artifacts across diverse architectures, indicating a shift in mathematical practice.
A methodological analysis of recent AI-assisted mathematics developments, arguing that frontier systems are beginning to produce “reviewable mathematical artifacts” across multiple architectures, including natural-language proof objects, model-originated method kernels, and formal proof-search systems.
No takes yet. Share an insight, caveat, or question.
Peter Bell (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: