
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.
43,969 Listeners
901 Listeners
22,074 Listeners
501 Listeners
221 Listeners
111,917 Listeners
331 Listeners
56,231 Listeners
19,004 Listeners
2,307 Listeners
448 Listeners
9,207 Listeners
15,335 Listeners
502 Listeners
1,420 Listeners