openai/math on Hacker News

Tens of millions? You're thinking specifically of the proof of Navier-Stokes. According to https://github.com/openai/math/blob/main/README.md : "On average, each result used three hours of ChatGPT Pro thinking compute with that model. Over…

comment by JacobAsmuth · 2026-11-01 · in Mathematics has changed. Let's act like it

…$2^{n / (\log n)^{0.5}}$, so still superpolynomial but less than exponential. Fucking wild. [0] https://github.com/openai/math/blob/main/preprints/The-Expon...

comment by abetusk · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

I was confused too, but it looks like https://github.com/openai/math/blob/main/lean/ComparatorChal... (with the sorry at the end) is just the problem statement; the actual proof is a big pile of lean in the Algorithms folder, with the…

comment by ollin · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

…proof (which is spread over thousands of files and github can't even show them all). Proof is at https://github.com/openai/math/tree/main/lean/OAI/Algorithms...

comment by sebzim4500 · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050... looks like the real proof is in this file

comment by mattr03 · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

▲ 6

The exponential time hypothesis is false

story by black_knight · 2026-10-26 · 0 comments

▲ 803

The Exponential Time Hypothesis Is False [pdf]

story by vok · 2026-10-26 · 302 comments

https://github.com/openai/math/blob/main/lean/docs/378.md

comment by JonChesterfield · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

https://github.com/openai/math/tree/main/preprints/The-Expon... >We give a deterministic algorithm for exactly counting the satisfying assignments of an arbitrary k-CNF formula [in superpolynomial but subexponential time]

comment by krackers · 2026-10-26 · in Three new discoveries in mathematics, computer science, and physics

▲ 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

…in the paper OpenAI released, nor do they make any claims specifically about "computer science": https://github.com/openai/math/blob/main/preprints/An-explic... It's a novel bit of math. Whether or not it means anything in the context of…

comment by calebkaiser · 2026-10-13 · in A look at the math that OpenAI claims computes faster Fourier transforms

To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...

comment by unprovable · 2026-10-09 · in Several major bugs in OpenAI's Math release

…were initially published without Lean. But they continue adding the proofs where they're missing: https://github.com/openai/math/tree/main/lean

comment by viraptor · 2026-10-09 · in OpenAI withdraws three mathematical results

…by two dependent papers. [0] https://leodemoura.github.io/blog/2026-8-24-postmortem-for-t... [1] https://github.com/openai/math/blob/main/history.md

comment by shakna · 2026-10-09 · in OpenAI, the Partition Principle, and Mathematics

comment by 1vuio0pswjnm7 · 2026-10-09 · in OpenAI withdraws three mathematical results

…solutions. I have a list of ideas to test so we may not be done yet :) Original paper from OpenAI: https://github.com/openai/math/blob/main/preprints/Integer-m...

comment by GPUboy · 2026-10-08 · in They just merged my PR for the bound on the integer multiplication problem

▲ 342

OpenAI Withdraws 3 Math Papers

story by theemathas · 2026-10-08 · 3 comments

▲ 4

OpenAI withdraws three of their recent manuscripts

story by qnleigh · 2026-10-08 · 1 comment

…of the Millennium Prize problems. I wonder how many more will be retracted in the coming months. https://github.com/openai/math/pull/1/files/301488868beec11b...

comment by qnleigh · 2026-10-08 · in Sharing AI progress in mathematics

▲ 382

OpenAI withdraws three mathematical results

story 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

the json file next to the problem statement in lean says the solution starts here: https://github.com/openai/math/blob/main/lean/OAI/Combinator... the proof is probably split over the constructions in the whole directory.

comment by acomar · 2026-10-07 · in Sharing AI progress in mathematics

…a good human written proof but it's certainly better than the last generation of AI proofs. [1] https://github.com/openai/math/blob/main/preprints/An-Almost... [2] https://github.com/openai/math/blob/main/lean/ComparatorChal...

comment by sebzim4500 · 2026-10-07 · in Sharing AI progress in mathematics

This is in the direction of Yang-Mills: https://github.com/openai/math/blob/adc7f1241b42e322a6451854...

comment by bananaflag · 2026-10-07 · in Sharing AI progress in mathematics

▲ 3

OpenAI Mathematics Manuscript Collection

story by altro · 2026-10-07 · 0 comments

…to push code to your repo, they can improve the project much faster than they could without AI. [1] https://github.com/openai/math/

comment by egecant · 2026-10-07 · in State of Devs 2026

Is this not the Lean proof? https://github.com/openai/math/blob/main/lean/ComparatorChal...

comment by pmarreck · 2026-10-07 · in Sharing AI progress in mathematics

https://github.com/openai/math/blob/main/preprints/An-explic... "We give a deterministic algorithm that computes the discrete Fourier transform at every length n in O ( n ( log ⁡ n ) ** (1 − 10 ** −13)) operations. The model uses exact…

comment by aix1 · 2026-10-07 · in Integer multiplication below n log n

It might have been updated. Is this the lean? https://github.com/openai/math/blob/main/lean/docs/180.md

comment by Daneel_ · 2026-10-07 · in Sharing AI progress in mathematics

…Fields medal: https://news.ycombinator.com/item?id=49986803 The sub n log n result is astonishing : https://github.com/openai/math/blob/main/preprints/Integer-m... Here's a great article 2019 on the quest to achieve the n log n boundary: >…

comment by nl · 2026-10-07 · in Sharing AI progress in mathematics

Did you mean this one? https://github.com/openai/math/tree/main/preprints/The-Quasi... I thought it was interesting that it said "This paper was written with human assistance", unlike this other Quasi-Riemann Hypothesis preprint that…

comment by omoikane · 2026-10-07 · in Sharing AI progress in mathematics

…are 'privately' working on with GPT, and then prompting other LLMs to work on such. [1] - https://github.com/openai/math/blob/main/reasoning_traces/re...

comment by somenameforme · 2026-10-07 · in Sharing AI progress in mathematics

…to see the exponents directly rather than have them hidden as n^c or epsilon or O(1). [1]: https://github.com/openai/math/blob/main/preprints/Determini...

comment by keeganryan · 2026-10-07 · in Sharing AI progress in mathematics

Matrix multiplication is <=O(n^2.25) actually... [1] 1. https://github.com/openai/math/blob/main/preprints/Matrix-Mu...

comment by mmiyer · 2026-10-07 · in Integer multiplication below n log n

▲ 2

Discrete Fourier Transform faster than n log n [pdf]

story by E-Reverance · 2026-10-07 · 0 comments

▲ 10

OpenAI releases 722 math manuscripts

story by jumploops · 2026-10-06 · 1 comment

They're all here https://github.com/openai/math/tree/main/preprints

comment by stevenhuang · 2026-10-06 · in Sharing AI progress in mathematics

▲ 42

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

story by tootie · 2026-10-06 · 2 comments

…no capacity to check its correctness today, but I hope it is true purely for the exponent. [1]: https://github.com/openai/math/blob/main/preprints/A-polynom...

comment by NotOscarWilde · 2026-10-06 · in Sharing AI progress in mathematics

▲ 113

Integer multiplication below n log n

story by E-Reverance · 2026-10-06 · 83 comments

▲ 4

The Quasi-Riemann Hypothesis [pdf]

story by akalin · 2026-10-06 · 1 comment

…I spent quite a bit of time on it and failed. Their proof looks approachable at first glance. https://github.com/openai/math/blob/main/preprints/Paired-st...

comment by prideout · 2026-10-06 · in Sharing AI progress in mathematics

HTML version, https://github.com/openai/math/blob/main/CONTENTS.md

comment by ks2048 · 2026-10-06 · in Sharing AI progress in mathematics

…results. A valid proof is a big deal! [0] https://en.wikipedia.org/wiki/Unique_games_conjecture [1] https://github.com/openai/math/blob/main/preprints/The-Uniqu...

comment by enoether · 2026-10-06 · in Sharing AI progress in mathematics

Actual results: https://github.com/openai/math/blob/main/overview.pdf

comment by ed · 2026-10-06 · in Sharing AI progress in mathematics

It’s fascinating to read through the reasoning traces: https://github.com/openai/math/tree/main/reasoning_traces Look at one of their examples of an initial prompt: https://github.com/openai/math/blob/main/reasoning_traces/re...

comment by sebmellen · 2026-10-06 · in Sharing AI progress in mathematics

https://github.com/openai/math

comment by ravenical · 2026-10-06 · in Sharing AI progress in mathematics

▲ 45

Mathematical manuscripts and supporting proof artifacts produced by OpenAI

story by vikas-sharma · 2026-10-06 · 0 comments

▲ 1,363

Sharing AI progress in mathematics

story by OfficialTurkey · 2026-10-06 · 1,539 comments