Ill-Posed

blog — Proofs and Prompts — 11 Oct 2026

On our existential crisis and trustworthy AI

#ai-assisted-mathematics #philosophy-of-mathematics #trustworthy-ai

Read the source →

“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. […]”

0 comments