Topic: AI-assisted research

Leonardo and Andrea discuss internet censorship and recent work on Navier-Stokes equations involving AI, including the scientific significance and debate surrounding the results. The episode also contains Giuliano Greco's interview with Ivano La Rosa about a cyberpunk audio drama set in a future Genoa.

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.