Hundreds of AI-written math papers sparked a backlash. Here’s what AI actually claimed, why some mathematicians are angry, and what still needs checking.