Development

Mathematics uploads spike while budgets flatline, and 312 problems are resolved

development2026-08-04

Claim

Mathematics uploads to arXiv are spiking while budgets flatlined, the clearest signal of AI influence, with one tracker showing 427 problems tracked and 312 resolved, 205 in July alone, up 193% over June and a third checked in Lean.

Reported metric: 312 of 427 / +193%

Reporting date: 2026-08-04 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to August 4, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to August 4, 2026

Actor

arXiv

Evidence for

Supersedes

Ten dollars of tokens renders a literary opening as 5,500 lines of 3D

Referenced by

Welcome to August 4, 2026

Cite or correct this record

Citation formatCitation text

Mathematics uploads spike while budgets flatline, and 312 problems are resolved
Innermost Loop KB — secondary record
Reporting date: 2026-08-04
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-08-04-arxiv-math-spikes-while-budgets-flatline
Claim: Mathematics uploads to arXiv are spiking while budgets flatlined, the clearest signal of AI influence, with one tracker showing 427 problems tracked and 312 resolved, 205 in July alone, up 193% over June and a third checked in Lean.
Attributed sources:
- Welcome to August 4, 2026 — https://theinnermostloop.substack.com/p/welcome-to-august-4-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.