'Proof is vital': faced with AI, mathematicians defend the path over the result
In six weeks, AI labs have staged a string of showy results in mathematics, to the point of moving a Fields medallist to tears. Applied mathematics professor Matthieu Alfaro explains what these announcements upend in his profession.