← Back to live feed1 story
OpenAI produced a human proof and a computer proof for its Navier-Stokes solution, but the two do not match.
Sign in to suggest edits
Key sources
- DISCUSSIONdanielmorozoffnews.ycombinator.com
OpenAI produced a human proof and a computer proof for its Navier-Stokes solution, but the two do not match.