blog — Proofs and Prompts — 28 Sep 2026
Applied mathematics has met the machine before
#applied-mathematics #ai-mathematics-interaction #mathematical-computing
Why does AI worry applied mathematicians less? We have met the machine before: human computers moved up to designing algorithms, and a computer run led to the solution. Driven by problems rather than great conjectures, we expect AI, used with careful verification and validation, to make us better mathematicians.