Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on “Math 2.0” will need to value mathematical progress more holistically. Parent comment
Translating LLM proofs to human-ese is instead grunt-work. One that is bound to dissapear in a few years anyways.
There are no comments on this comment yet.
Translating LLM proofs to human-ese is instead grunt-work. One that is bound to dissapear in a few years anyways.