‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs · Briflio