Will AI Replace Mathematicians?

<p>Alon Amit, prolific Quora math answerer, discusses how Artificial Intelligence might change the role of the mathematician. AI will make mathematics more efficient but it can&#39;t do math in a deep sense at present. It can&#39;t perform logical reasoning or even know if it&#39;s wrong. However, there are recent advances in proof verifiers. They may eventually be able to check complex proofs like the recent alleged proof of the ABC Conjecture. </p><p><br></p>