blog — Proofs and Prompts — 11 Oct 2026
Transforming Mathematics
#research-culture #mathematical-practice #ai-mathematics-interaction
“I believe that the development of AI tools will lead to a transformation of mathematics, both professionally and culturally. However, it will be a tragic missed opportunity if the massive shifts in culture and practice that are underway are motivated and influenced solely by AI. […]”