Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Navier–Stokes Lost in Translation.
"Disclaimer: We do not make claims about the correctness of OpenAI’s NL proof, we only make statements about mistranslations into Lean."
There are no comments on this comment yet.
"Disclaimer: We do not make claims about the correctness of OpenAI’s NL proof, we only make statements about mistranslations into Lean."