AI And Math Proofs

Daniel Litt: "Mathematics in the Library of Babel"