I personally think the timeline is underestimated. This strikes me as a “me too, with bells on” piece.
Even within mathematics, what AI has been doing recently has been somewhat limited: it finds counterexamples a lot better than it finds proofs, makes interesting conjectures, or builds understanding of an area. The recent spectacular results have almost all been counterexamples to well-known long-standing conjectures, based on exhaustively applying techniques or ideas developed by others. Which is not nothing, but it’s also not all of mathematics.
If this timeline is correct, what do you think people should do?
I personally think the timeline is underestimated. This strikes me as a “me too, with bells on” piece.
Even within mathematics, what AI has been doing recently has been somewhat limited: it finds counterexamples a lot better than it finds proofs, makes interesting conjectures, or builds understanding of an area. The recent spectacular results have almost all been counterexamples to well-known long-standing conjectures, based on exhaustively applying techniques or ideas developed by others. Which is not nothing, but it’s also not all of mathematics.