math
openai/math
- Recommended by
- 4
- GitHub stars
- 17k
- Licence
- Apache-2.0
- Language
- Lean
- Last commit
- 30 Oct 2026
What people said
“Further down there is a discussion between number theorist about if the Quasi-Riemann Hypothesis is the biggest deal in 200 years or only 100. The consensus is that if a human had done it then it would deserve the Fields medal: The su…”
“OpenAI Withdraws 3 Math Papers (342 points)”
“The Exponential Time Hypothesis Is False [pdf] (803 points)”
“Integer multiplication below n log n (113 points)”
Similar tools
HackiA highly customizable, open-source Hacker News client.2 recommending
fuse-backend-rsRust crate for implementing FUSE backends1 recommending
asterinasAsterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.2 recommending
piclawpi coding agent in a technicolor web trenchcoat 1 recommending
Not software, abandoned or listed by mistake? Report this listing