blog — Proofs and Prompts — 10 Sep 2026
A somewhat optimistic view of AI in mathematics
#machine-learning #ai-mathematics #research-methodology
Robert Wegner, PostDoc at Karlsruhe Institute of Technology I have the impression that recent advances in the deployment of AI for the purpose of mathematical research have made many people uncomfortable. I want to present my personal view on these matters, which is more optimistic. Let me get the following assumption out of the way: […]