Storia: OpenAI says AI solved 90-year-old maths puzzle, but mathematician claims he got there first — Warptech Lab News