Math & AI

What mathematicians think AI can and cannot do. Where formal reasoning still beats a model, what is left for humans, and why serious money is now betting on machine-proved mathematics.