Absolutely no way.
Even if AI can make mathematical breakthroughs as in evidence of hard to solve problems. We still need mathematicians to clear it as valid.
I imagine AI might actually sharpen the understanding among real mathematicians.
AI didn’t make Chess or Go obsolete either.
We don’t need mathematicians to clear the proof as valid if it is checked by a formal proof system. Mathematicians would only need to check the theorem itself to make sure it describes what it should describe.
I think chess and go are a bad comparison. Their solving does not conclude in some societal use. They are interesting only as problems, but mathematics is interesting as a solution too.
Absolutely no way.
Even if AI can make mathematical breakthroughs as in evidence of hard to solve problems. We still need mathematicians to clear it as valid.
I imagine AI might actually sharpen the understanding among real mathematicians.
AI didn’t make Chess or Go obsolete either.
We don’t need mathematicians to clear the proof as valid if it is checked by a formal proof system. Mathematicians would only need to check the theorem itself to make sure it describes what it should describe.
I think chess and go are a bad comparison. Their solving does not conclude in some societal use. They are interesting only as problems, but mathematics is interesting as a solution too.