Sharing AI Progress in Mathematics by OpenAI! OpenAI has released a batch of 722 mathematical manuscripts covering 372 result families that group related papers, with the collection said to include solutions to hundreds of previously open mathematical questions. The release