Hacker News (curated)
new
|
past
|
comments
|
ask
|
show
|
jobs
| show hidden
compounding_it
11 hours ago
|
parent
|
context
Because the verification would also be done by something non deterministic and then that’s a paradox.
daishi55
9 hours ago
Feed the LLM output into a “deterministic” verifier, problem solved. That’s how LLMs verify their new mathematical proofs with lean.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
|
github
