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.
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.
OpenAI Withdraws 3 Math Papers(github.com)
335 points by theemathas | 321 comments
A history.md file in OpenAI's math GitHub repository logging withdrawn and updated math papers, with READMEs explaining gaps and linking retracted manuscripts.
Multiplicative Infinitesimals(github.com)
68 points by Ericson2314 | 35 comments
Integer multiplication below n log n(github.com)
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.
Related stories
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 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.
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.
OpenAI Withdraws 3 Math Papers(github.com)
335 points by theemathas | 321 comments
A history.md file in OpenAI's math GitHub repository logging withdrawn and updated math papers, with READMEs explaining gaps and linking retracted manuscripts.
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.
OpenAI researcher announced GPT-5 math breakthrough that never happened(the-decoder.com)
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.