Henry Bradford: AI versus mathematicians?

Henry Bradford and Marianne Freiberger discuss a claimed AI advance involving non-sofic groups. The episode introduces the mathematical ideas and considers how to evaluate AI-generated proofs, distinguish research progress from hype, and credit the human work that contributes to a result.