openai/math
View on GitHub ↗ ★ 17,265 Lean
50 mentions on Hacker News by 47 people: 16 stories, 34 comments · first 2026-10-06 · latest 2026-11-01
20082026
-
▲ 6
The exponential time hypothesis is falsestory by black_knight · 2026-10-26 · 0 comments
-
▲ 803
The Exponential Time Hypothesis Is False [pdf]story by vok · 2026-10-26 · 302 comments
-
▲ 1
Ask HN: Lean4 code for Modularity of elliptic curves ... ?story by sunshinePeanut · 2026-10-26 · 1 comment
-
▲ 2
Three nested stars suffice in generalized regex [pdf]story by rnbnnnn · 2026-10-20 · 1 comment
-
▲ 342
OpenAI Withdraws 3 Math Papersstory by theemathas · 2026-10-08 · 3 comments
-
▲ 4
OpenAI withdraws three of their recent manuscriptsstory by qnleigh · 2026-10-08 · 1 comment
-
▲ 382
OpenAI withdraws three mathematical resultsstory by sashank_1509 · 2026-10-08 · 612 comments
-
▲ 2
An Upper Bound of 9/4 for the Matrix Multiplication Exponent [pdf]story by theanonymousone · 2026-10-08 · 0 comments
-
▲ 3
OpenAI Mathematics Manuscript Collectionstory by altro · 2026-10-07 · 0 comments
-
▲ 2
Discrete Fourier Transform faster than n log n [pdf]story by E-Reverance · 2026-10-07 · 0 comments
-
▲ 10
OpenAI releases 722 math manuscriptsstory by jumploops · 2026-10-06 · 1 comment
-
▲ 42
OpenAI just dropped 700 preprints of mathematical proofs and counterexamplesstory by tootie · 2026-10-06 · 2 comments
-
▲ 113
Integer multiplication below n log nstory by E-Reverance · 2026-10-06 · 83 comments
-
▲ 4
The Quasi-Riemann Hypothesis [pdf]story by akalin · 2026-10-06 · 1 comment
-
▲ 45
Mathematical manuscripts and supporting proof artifacts produced by OpenAIstory by vikas-sharma · 2026-10-06 · 0 comments
-
▲ 1,363
Sharing AI progress in mathematicsstory by OfficialTurkey · 2026-10-06 · 1,539 comments