The quote reads to me like “as long as you can analyze the solution after the machine solves it and make it suggest new ideas based on that, you’re almost the same as a discoverer yourself.” I’m deliberately avoiding “mathematician” here because I think Tao probably didn’t intend to take it that far. But, for many people that difference will be indistinguishable, especially because there will very likely be “math bros” just like “ai bros” and “crypto bros” before them who want to pretend they’re mathematicians just as we see people pretending to be engineers and financial experts based on how fast they got on the hype train.

I’m no mathematician, though I do have an undergrad degree in math, and unless I had a graduate degree or made substantial contributions at that level, I would never consider myself anything but a “student of mathematics,” and that too not just because I have a degree in the subject, but because I still have a great interest in certain branches of math and I keep learning in my spare time from books or from adjacent applied fields I continue to formally study. As a kid, I grew up hating math but I became interested in it later in life because of coding, computer science and formal logic, pushing myself a lot through my college years to get some foundational understanding of the subject at a deeper level than the general population, just to get my foot in the door, so to speak.

Even if I’m an outsider from the circle of mathematicians, this whole AI takeover of mathematics leaves such a bad taste in my mouth because I’ve long felt that math was one of those things that everyone could agree is a useful and beneficial thing for humanity in general, and it was one of the least divisive fields, where people from different parts of world, from different stations in life could participate, and very few points, especially today, caused any controversy (unlike just about every other subject). It feels like a great loss for humanity to lose a brunt of our engagement with it to the machines, like a whole wing of a gigantic library starting to be closed off from us indefinitely because some people decided that we don’t _need_ to access it anymore, except on an even grander scale possibly than my imaginary library metaphor.

Every theorem is already in the mind of God. No theorem prover has discovered it anymore than an astronomer discovers a star. We simply have better access to God's thoughts now. It makes us realize we are human and not divine.

> I’ve long felt that math was one of those things that everyone could agree is a useful and beneficial thing for humanity in general

Funny, I think it's a very widespread opinion to think of math as useless. In the US at least it's a major failure of the education system and STEM communicators.

> and it was one of the least divisive fields, where people from different parts of world, from different stations in life could participate, and very few points, especially today, caused any controversy (unlike just about every other subject).

There's plenty of controversy in mathematics. Controversy comes from the people, not the field of study.

You just made me think of something but I'm almost afraid of saying out loud because I don't want to speak it into existence...

AI-generated math textbooks

(but they probably already exist)