ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Will AI Replace Mathematicians?"
Episode Synopsis
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.
More episodes of the podcast The Art of Mathematics
The Many Facets of Math
23/04/2025
The National Museum of Mathematics
26/02/2025
Where do Math Concepts Come From?
25/12/2024
A Clockmaker, an Egg, and a Cathedral
27/11/2024
What is a Pattern?
23/10/2024
What's the Big Deal about Pi?
25/09/2024
Stop Overselling Mathematics
24/07/2024
Math for Kids: It's not a Spectator Sport
26/06/2024
In God we trust