blog — Proofs and Prompts — 22 Oct 2026
Is There Actually a Good Way to Use AI for Math?
#large-language-models #ai-assisted-research #mathematical-practice
The post describes a workflow for using AI in theoretical research that I gradually developed while working on these projects. I am especially interested in whether experienced mathematicians use similar methods, even if they do not describe them as prompts or formal workflows.