OpenAI releases 722 math manuscripts(github.com)
9 points by jumploops | 1 comments
A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.
First screen, captured .
Looks similar
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.
OpenRecall(github.com)
17 points by dragonbonheur | 9 comments
Related stories
OpenAI releases 722 math manuscripts(github.com)
9 points by jumploops | 1 comments
A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.
OpenAI withdraws three mathematical results(twitter.com)
355 points by sashank_1509 | 593 comments
Tweet by Dan Roberts announcing updates to OpenAI's GitHub math repo: 6 new Lean formalizations, 19 modifications, and 3 withdrawn results.
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)
20 points by tootie | 6 comments
GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.
OpenAI CLI(github.com)
203 points by armcat | 110 comments
GitHub repository for openai-cli, OpenAI's official command-line interface for the OpenAI API, written mainly in Go and licensed Apache-2.0.
Sharing AI progress in mathematics(openai.com)
1314 points by OfficialTurkey | 1488 comments
OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.
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.