About this episode
Alon Amit discusses the impact of Artificial Intelligence on the role of mathematicians and the potential of proof verifiers.
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.
People in this episode
Host: Carol Jacoby
Guest: Alon Amit
Topics covered
- Artificial Intelligence
- mathematics
- proof verification
- role of mathematicians
- logical reasoning
Keywords
- AI
- mathematicians
- mathematics
- proof verifiers
- ABC Conjecture
Mentioned in this episode
Books & works: ABC Conjecture
More episodes of The Art of Mathematics
- Math as it Should Be · May 27, 2026 · 17 min
- Crocheting Mathematics · April 22, 2026 · 13 min
- Pythagorean Triples and Some New Conjectures · March 25, 2026 · 20 min
- Proofs and Buckets of Fish · February 25, 2026 · 15 min
- Fractals: Simple rules, complex shapes · January 28, 2026 · 15 min
- The Many Facets of Math · April 23, 2025 · 16 min
Explore listener stats, chart rankings, contacts and more on the The Art of Mathematics podcast page.