On October 6, OpenAI posted 722 mathematical manuscripts grouped into 372 result families to a public GitHub repository