OpenAI triggers backlash from mathematicians with massive dump of AI proofsThe ChatGPT maker released over 700 files claiming solutions to unsolved problems, but experts reject the release as a 'demonstration of power'.9 October 2026