Quanta asks why the Erdős problems are falling
A long piece on the acceleration that began in late 2025 — literature-search models first, then formalization systems, then autonomous provers — and on the argument it started inside the community about credit, verification, and what a proof is for.
Source 1 of 2
Quanta Magazine
quantamagazine.org
A long piece on the acceleration that began in late 2025 — literature-search models first, then formalization systems, then autonomous provers — and on the argument it started inside the community about credit, verification, and what a proof is for.
Open originalSummary
A long piece on the acceleration that began in late 2025 — literature-search models first, then formalization systems, then autonomous provers — and on the argument it started inside the community about credit, verification, and what a proof is for.
- 01Quanta Magazine
- 02Physics World