Mathematics has changed. Let's act like it

> To me, someone who chooses a worthwhile problem, obtains a proof completely using AI, understands it thoroughly, and uses it to develop interesting further questions or directions has made a substantial mathematical contribution. I would give that person substantial credit even if they supplied no new ingredient in…

Isn't it the passage of mathematics from the age of craftsmanship to the age of industrial making ? My recent take on AI is that people haven't adapted to the new huge potential of the tool, and don't dream big enough (yet). It's like seeing a car engine for the first time, lamenting about the future of horses, and…

Why do nearly all the articles exploring the development of AI applied to math assume that capabilities won’t extend beyond theorem proving? > other skills will matter more: choosing which terrain is worth exploring, steering fleets of airplanes, and explaining what they find to the rest of the world. These all seem…