Topic: mathematical practice

Mathematicians Sylvia Serfaty and Amaury Hayat discuss AI-assisted mathematical research with Alexandra Delbot. The conversation examines recent claims of difficult problem solving, how researchers assess and understand machine-generated proofs, and the implications for publication, mathematical practice and the responsibilities raised by the Leiden declaration.

Jordan Ellenberg explores how machine learning might contribute to mathematical discovery. Drawing on collaborative work with DeepMind on a combinatorics problem, he considers the distinction between obeying formal rules and producing ideas that mathematicians judge important or ingenious, and discusses near-term changes to mathematical practice.