Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof
A human reading of a machine's Lean proof — the genre this year invented, and the one that decides whether such proofs enter the literature.
Sources
Source 1 of 1
arXiv:2601.07421
arxiv.org
A human reading of a machine's Lean proof — the genre this year invented, and the one that decides whether such proofs enter the literature.
Open originalSummary
A human reading of a machine's Lean proof — the genre this year invented, and the one that decides whether such proofs enter the literature.
- 01arXiv:2601.07421