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
• 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
• The National Museum of Mathematics · February 26, 2025 · 18 min

Explore listener stats, chart rankings, contacts and more on the The Art of Mathematics podcast page.