A mathematician is a machine for turning AI into blog posts. Anthony Bonato AI has given mathematicians a lot to think about. Many of these thoughts are captured in a series of posts at Proofs and Prompts and at Terry Tao's blog. The last paragraph of my colleague's recent blog entry compelled me to write…