OpenAI has released 722 mathematical manuscripts spanning 372 research families, with many results backed by ...