OpenAI arranged OpenAI's 722 mathematical results into 372 families in a public GitHub repository