Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Davidzheng
6 months ago
|
parent
|
context
|
favorite
| on:
“Erdos problem #728 was solved more or less autono...
Never mind what Aristotle is, verifier llm models are definitely strong enough to verify proofs of elementary methods used here.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
