Mathematical manuscripts and supporting proof artifacts produced by OpenAI(github.com)
9 points by vikas-sharma | 0 comments
GitHub repository from OpenAI containing mathematical preprints, Lean proof artifacts, and reasoning traces produced by its models.

