OpenAI just published 722 maths papers written by a model they haven't released. 372 result families across the whole field. they posed the model around 4,000 open research problems and each result took about 3 hours of thinking compute. some of what's in there: a zero-free