Joe Howlett
Science and technology reporter covering mathematics for Scientific American/ SIAM, interviewed here about AI's capabilities in producing mathematical proofs and the first proof challenge.
Best podcasts with Joe Howlett
Ranked by the Snipd community
9 snips
Mar 25, 2026 • 16min
Can AI do math, or does it just act like a calculator?
Joe Howlett, a Science and Technology reporter covering mathematics, discusses whether AI can handle real research-level proofs. He outlines a community challenge that tests models on unpublished lemmas. They compare early results, how AI proofs differ from human proofs, and what future rounds might reveal about AI’s role in advancing math.
