Scott Aaronson: AI labs may be withholding major solutions after hostile Navier-Stokes proof response
Theoretical computer scientist Scott Aaronson wrote on his blog that he has heard rumors of AI labs sitting on major solutions, following a hostile response to a Navier-Stokes proof. The discussion is speculative but technically substantive, coming from a prominent figure in the field.
Coverage timeline
Techmeme
Scott Aaronson / Shtetl-Optimized : A theoretical computer scientist says he has heard rumors that AI labs are sitting on major solutions after a hostile response to the Navier-Stokes proof — Twenty years ago, when the idea of AI taking over the world in our lifetimes still struck most of us as the unconstrained fantasy …
Related stories
AI labs quietly test models' ability to break key cryptographic protocols, researcher says
Theoretical computer scientist Scott Aaronson, citing sources, reports that AI labs have begun quietly testing whether their models can break important cryptographic protocols. The development has sparked discussion about the risk of AI accelerating mathematics, potentially undermining current security systems.
1 reports · 1 sources
OpenAI model reportedly proves Barnette's Conjecture, evoking mixed emotions
A Hacker News comment by Jake Boggan, quoted by Simon Willison, reports that OpenAI's model has supposedly proven Barnette's Conjecture, a long-standing graph theory problem. Boggan, who spent 24 years working on the conjecture, expresses mixed emotions about the news, noting the proof is listed as problem 180. The comment highlights the emotional impact of AI achievements on human researchers.
1 reports · 1 sources
OpenAI staff expect Hodge Conjecture solved soon after Navier-Stokes work
According to The Information, OpenAI staff expect the Hodge Conjecture, one of the Millennium Prize Problems, to be solved relatively soon, following their earlier work on the Navier-Stokes equations. This comes after mathematicians accused the company of stealing their thunder for solving an ultra-difficult math problem earlier this month.
Rumor: Anthropic AI Solved Navier-Stokes? Tao Denies
A viral rumor claims Anthropic's AI solved the Navier-Stokes existence and smoothness problem, one of the Millennium Prize Problems. The rumor originated from a speculative post by blogger Andrew Curran, following mathematician Terence Tao's thought experiment about AI solving open math problems. Tao has denied having insider information, and no paper or proof has been publicly released.
News updates every hour. Subscribe in your RSS reader to get new stories automatically.
Subscribe