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
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.
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.
Multiplicative Infinitesimals(github.com)
68 points by Ericson2314 | 35 comments
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 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.
![Screenshot of web.maths.unsw.edu.au: The recently proposed o(n log n) integer multiplication algorithm [pdf]](https://hn.urlbox.com/shots/renders/2026/10/22/031b3473-91fb-4202-9bf2-aa9a7fb3e59c.jpg)
The recently proposed o(n log n) integer multiplication algorithm [pdf](web.maths.unsw.edu.au)
295 points by craigcitro | 290 comments
A PDF by David Harvey (UNSW) on the recently proposed O(n log n) algorithm for integer multiplication.
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.
Beating NumPy matrix multiplication in 150 lines of C(salykova.github.io)
372 points by p1esk | 69 comments
Blog tutorial implementing high-performance CPU matrix multiplication in about 150 lines of C, following the BLIS design and outperforming NumPy/OpenBLAS on a Ryzen 7700.
Train Your Own LLM from Scratch(github.com)
376 points by kristianpaul | 43 comments
GitHub repository by angelos-p providing code and docs for training your own large language model from scratch.