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.
AI Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Free AI-powered recaps of The Art of Mathematics and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.