GoKawiilYesterday, OpenAI announced the solution to ten open problems in mathematics, all discovered by a yet-unreleased model. There’s only one, the coding theory one, where I know enough to say “huh, that’s important”, but according to the mathematicians I trust this is important.
Inevitably, people will spin some sophistry to cope, to convince themselves nothing will change. And that’s fine. People need to cope. But we can’t put our heads in the sand forever while the world is transformed around us. So, here is a list of ways people will cope about AI taking over mathematics, and how each cope is likely to be refuted by reality.
My intent is not to horribly depress everyone but rather to help them metabolize the implications of this technology. The arguments here are somewhat portable: replace “mathematics” with “botany” or whatever as needed.
Moving the goalposts.
Obvious and not worth addressing.
“We will direct the AIs, point them at problems and research areas to solve.”
The AIs will exceed humans in taste and intuition. At some point, the human pointing the way will get worse results than the human saying “here’s a proof checker, have fun” and paying for the tokens.
“We will teach the mathematics AI discovers.”
The AIs will be better teachers than the humans. In any case, there won’t be a human audience for expository work of frontier math.
“We will choose how to canonize the results AI discovers.”
... continue reading