
Sign up to save your podcasts
Or
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't do math in a deep sense at present. It can't perform logical reasoning or even know if it'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.
4.7
2525 ratings
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't do math in a deep sense at present. It can't perform logical reasoning or even know if it'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.
1,839 Listeners
4,275 Listeners
30,823 Listeners
14,102 Listeners
497 Listeners
43,409 Listeners
23,668 Listeners
4,136 Listeners
4,125 Listeners
5,438 Listeners
12,904 Listeners
15,220 Listeners
502 Listeners
3,271 Listeners
1,830 Listeners