Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lozenge
18 days ago
|
parent
|
context
|
favorite
| on:
GPT-5.6 used a prompt to close a 30-year gap in co...
It is lean-verified, so it can be trusted unless the Lean statement of the hypothesis is not an accurate description of the hypothesis.
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:
