OpenAI publishes a Math repository on GitHub

OpenAI has published a new Math post with a linked repository at The post itself gives no further details in the provided text, so the scope of the work cannot be confirmed from this source.