[bananaflag]

I work in math and also believe in this stuff and have done so for years. You may call me sick if you wish so.

My only cope among those was, using the author's words, "We will teach the mathematics AI discovers." This was back in 2018, before GPT-2. I abandoned it when I realized AIs will become better at explaining math before they become better at doing math.

I still have some hope in the last one "mathematicians and the mathematically-inclined will still do math on their own". Maybe some limited communities of this sort will form.

[js8]

> AIs will become better at explaining math before they become better at doing math

I am not so sure. I am talking about math with AI and I feel as a math teacher, it is terrible. It introduces new notation and concepts faster than I can ask for definitions. It doesn't provide many examples. Sometimes it realizes it made a mistake in a guess and the confusion compounds.

Maybe it's just my (in)experience - but I would welcome a practical advice on how it could explain math to me better.

[pfdietz]

It's another example of Moravec's Paradox. Explaining something to another person uses capabilities that go back millions of years. Mathematics goes back thousands of years. Evolution has made us very good at verbal communication, not so good at proving theorems. So it should have been expected that machines would have an easier time proving results than explaining them.

https://en.wikipedia.org/wiki/Moravec%27s_paradox

[bananaflag]

By explaining, I just meant writing papers in a human-readable way. For example, the results yesterday were also written up by AI.

Explaining in the sense of getting someone who doesn't get math to actually get math, giving illustrative examples and so on, maybe AIs are not good at, but anyway it's not something I enjoy much.

[js8]

I am OK with reading (decently-written) papers, something that a graduate can read. I still don't think that AI is good at it.

I am not sure what writeup you refer to. I have looked at proofs of 10 problems from Open AI written in Lean, I would not call a megabyte of Lean with no comments a good exposition.

[TimorousBestie]

> I still have some hope in the last one "mathematicians and the mathematically-inclined will still do math on their own". Maybe some limited communities of this sort will form.

I think it’s pretty likely. Contrary to all the negative things said about mathematicians in this thread, in my experience they’re mostly not profit-driven (for the ones that are tend to filter out of academia during grad school, it’s a high-effort, low-reward environment).

Tao does not seem particularly threatened by AIs doing math, and I trust his judgment.