Can AI do maths without mathematicians?
AI agents are solving open math problems. Nathanaël Berestycki and Vera Fischer argue that maths is more than solving proofs at speed.