IA et mathématiques : quand la solution pose problème

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.