This is not the simplest explanation. The most direct line from problem to proof...

		alangibson 7 days ago \| parent \| context \| favorite \| on: The Navier–Stokes Millennium Prize Problem This is not the simplest explanation. The most direct line from problem to proof is OpenAI building off of conversations the mathematicians had with their AI.
		help