bluesky — Taka Hanazawa — 18 Oct 2026
I've been thinking about the AI generated mathematical proofs thing and I actually feel like I'm not as bothered about i…
#ai-aided-mathematics #philosophy-of-mathematics #mathematical-proof
I've been thinking about the AI generated mathematical proofs thing and I actually feel like I'm not as bothered about it as I was initially.
provided of course that in the process of adding an AI generated proof to the corpus of true mathematical statements humans are still checking the work.