blog — Proofs and Prompts — 29 Sep 2026
Can AI truly prove anything?
#formal-verification #proof-theory #mathematical-ai
Stepan Nesterov, PhD student at Stanford University About a hundred years ago, David Hilbert gave a rigorous definition of a mathematical proof: Definition. A mathematical proof is a sequence of formal statements A1,…,AnA_1, \ldots, A_n such that every statement AiA_i in the sequence either belongs to a predefined set of axioms of logic or there […]