Will AI Replace Mathematicians?
Update: 2025-03-26
Description
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.
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
