
Letter to Rozumot: Two (or More) Mathematicses
Abstract This letter explores the philosophical consequences of AI-assisted theorem proving through a fictional letter set in the near future. It imagines a world in which an artificial proving system establishes the Birch and Swinnerton-Dyer conjecture with a formally verified…
