alt Hacker NewsThat's why OpenAI also published machine-checkable proofs.
The process is very, very faintly similar to running a typechecker over your software sources.
That's why OpenAI also published machine-checkable proofs.
The process is very, very faintly similar to running a typechecker over your software sources.
They're publishing machine checkable proofs because that's the only way they, themselves, can check them.
They don't understand the math either.