First screen, captured .
9 points by vikas-sharma | 0 comments
GitHub repository from OpenAI containing mathematical preprints, Lean proof artifacts, and reasoning traces produced by its models.
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.
88 points by E-Reverance | 59 comments
GitHub directory in OpenAI's math repository containing a preprint paper and README on integer multiplication algorithms faster than n log n.
52 points by 0xeb | 3 comments
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.
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.
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.
11 points by xeonmc | 0 comments
A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.
349 points by Topfi | 196 comments
The Decoder article reporting that an OpenAI researcher's claim of a GPT-5 math breakthrough turned out to be false.
641 points by loganfrederick | 566 comments
Simon Willison's blog post with notes on OpenAI's o1-preview and o1-mini models, covering chain-of-thought training, API details, hidden reasoning tokens and examples.