blog — Proofs and Prompts — 17 Oct 2026
Parallelize AI and Human Understanding, and Other Thoughts
#ai-assisted-mathematics #mathematical-reasoning #ai-and-math
“AI for math is a hot topic right now, as it has shown to be powerful but also controversial in many ways. This is a summary of my thoughts regarding the most prominent discussion points today: […]”