Controversy over OpenAI's Maths Breakthrough
doubledamio
34 points
10 comments
September 08, 2026
Related Discussions
Found 5 related stories in 66.5ms across 5,917 title embeddings via pgvector HNSW
- OpenAI fought dirty on career-making math problem jonbaer · 161 pts · September 08, 2026 · 72% similar
- OpenAI Says It Has Cracked One of Math's 'Millennium Problems' doener · 13 pts · September 08, 2026 · 66% similar
- OpenAI stole mathematicians' private research from their own Codex chats nreece · 18 pts · September 08, 2026 · 65% similar
- Major Math Breakthrough by AI mvrandswe · 11 pts · September 08, 2026 · 63% similar
- Mathematics in the age of AI jonbaer · 142 pts · August 19, 2026 · 58% similar
Discussion Highlights (6 comments)
secretsatan
I do wonder if perhaps LLMs take credit from some mathematicians working in obscurity in some dark corner of the web, it’s not unheard of for some to be reclusive. Perhaps someone completely unaware that they might have sovled something someone else considers important.
quicklywilliam
https://archive.is/vlSuj
ActorNightly
The thing about these math proofs is that they really add nothing of value. Its a cool tech demonstration on how LLMS can search the trained space, but fundamentally, LLMS haven't "discovered" anything groundbreaking. For NS equations, they are trying to model something that is discrete (i.e molecules colliding) in a continuous manner. You can easily think of a condition where they fail - imagine a vaccum where there is sufficient space between air molecules, so that collisions aren't always possible. NS won't be able to predict the state of the fluid in every single point in space. In practice, when you do CFD, no package uses direct differential simulation of NS equations, you usually have simpler approximations that are good enough for the space you are working for. And if you want accuracy, you usually do something like LBM which simulates particle collisions using probability distributions.
modemNoises
https://www.youtube.com/watch?v=GddkKIhDE2c Enumeration of syntax patterns when rules restrict legal syntax patterns can be done without LLMs The data center cartel that sprang up over the last 20 years is desperate to not have their entire social moat go up in smoke
ChrisArchitect
Discussions: https://news.ycombinator.com/item?id=49613262 https://news.ycombinator.com/item?id=49605915
hliyan
According to Thomas Wolf: > Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and prompted their latest models to work on the direction Leven and Tristan found fruitful. They then tried to push for controlling communication of the result and dropping Leven from authorship with some very bad taste social pressure. (1) https://x.com/Thom_Wolf/status/2097215782484607029 (2) https://mastodon.social/@tristanbuckmaster/11723341370570119...