blog — Proofs and Prompts — 11 Oct 2026
On our existential crisis and trustworthy AI
#ai-assisted-mathematics #philosophy-of-mathematics #trustworthy-ai
“I am a mathematician and a (theoretical) computer scientist. AI affects both vocations deeply. On the back of the recent AI-driven Navier-Stokes result, computer science colleagues joked that I am no longer needed as a mathematician. Of course the tables can be turned. […]”