OpenAI plans to publish more than 100 AI-generated solutions to long-standing maths problems on GitHub, despite mathematicians urging it to release detailed papers instead. Attendees at an August meeting said the company had suggested its models had solved hundreds of problems.