“My expectation is surely in 20 years we are going to see AI tools generating mathematics that in many measurable ways are better than every human mathematician,” Litt said. “I would be shocked if that doesn’t happen.”

But as Venkatesh told me, “In the end, there are infinitely many ways to formulate any piece of math.” The choices we make, he said, are governed by human values and shaped by the fact that mathematics is not only a science but also an art.

I’m not sure there’s a real debate against AI anymore after advances like the ones we’ve seen in mathematics happened.

https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/