Top story OpenAI Says Its AI Solved a 90‑Year‑Old Math Puzzle – But Fellow Researchers Question the Claim