“In my recent ICM talk in https:// teorth.github.io/tao-web/slide s/age-of-ai-icm-2026.pdf , I highlighted the five stages of proof development and maturation: proof generation, proof verification, proof exposition, proof publication, and proof canonicalization. This developmental cycle is somewhat analogous to the developmental cycle of a living being, from an infant, to a child, to an adolescent, and finally to an adult; cf. Cedric Villani's popular book "Birth of a Theorem". As mentioned in th”
- #social
- #mastodon
- #self-published