#Navier-Stokes

3 articles with this tag

Mathematicians argue whether AI solved math or just spoiled it
AI Research

Mathematicians argue whether AI solved math or just spoiled it

Lex Fridman gathered three mathematicians after AI claims on Navier-Stokes and quasi-Riemann, and the panel split on whether math is solved, spoiled, or just beginning.

about 2 hours ago
NYU Mathematician Says OpenAI Copied His Work
AI Research

NYU Mathematician Says OpenAI Copied His Work

NYU professor Tristan Buckmaster told CNBC Television OpenAI reproduced his Euler work after he revealed his name, casting doubt on its Navier-Stokes claim.

20 days ago
OpenAI's Navier-Stokes Proof Still Needs Humans
AI Research

OpenAI's Navier-Stokes Proof Still Needs Humans

StarTalk presses OpenAI's Navier-Stokes claim: a Lean proof of 26,000 sub-theorems that no human can read yet.

25 days ago