Automated theorem proving
Automated theorem proving is losing ground in AI research: 0.1% to 0.1% of new AI papers, -0.0 points. It ranks #125 of 214 by gain in share. As of Oct 10, 2026.
- Change in share
- -0.0 pts
- Share, last 3 months
- 0.1%
- Papers, last 3 months
- 42
- Ready for products
- 2.3 / 5
More in Formal reasoning and program synthesis
Formal verification0.1% → 0.2%+0.0 ptsProgram synthesis0.2% → 0.2%+0.0 ptsDomain specific language0.0% → 0.0%0.0 ptsMultimodal code generation0.0% → 0.0%0.0 ptsRuntime verification0.0% → 0.0%0.0 ptsNeural network verification0.0% → 0.0%0.0 ptsText to sql0.0% → 0.0%0.0 ptsAgentic code generation0.0% → 0.0%0.0 ptsStatic analysis0.0% → 0.0%0.0 ptsCode generation0.0% → 0.0%0.0 pts
Automated theorem proving: quick answers
No. Its share of new AI papers went from 0.1% to 0.1%, with 42 papers in the last 3 months.