AI has been growing ever more capable in mathematics and OpenAI has now released hundreds of papers at the same time – to the ...