Did AI Solve One of Math’s Hardest Problems?
StarTalk · 21:22
Astrophysicist Mark Miklo (Neil deGrasse Tyson's guest on StarTalk) says OpenAI's claimed AI-generated counterexample to Navier-Stokes smoothness is probably true. In his view it tells us where the equations stop desc...