Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on OpenAI withdraws three mathematical results. Parent comment
there is also will be new option of "maybe correct LLM proof", which humans will never be able to comprehend and verify.
There are no comments on this comment yet.
there is also will be new option of "maybe correct LLM proof", which humans will never be able to comprehend and verify.