OpenAI Produces AI-Generated Proof for Navier-Stokes Problem
Macro·1 article across 1 outlet
Story updated Rewritten when the story materially grows; the wire is checked every 15 minutesAbout this data
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades.
OpenAI
Sources
Every quote below is verbatim from the article it is attributed to.
SourceReports the news
“Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics.”
Bloomberg — Odd Lots: How AI Is Upending the World of Mathematics (Podcast)