Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
azakai
29 days ago
|
parent
|
context
|
favorite
| on:
The Price of Intelligence Is Falling Rapidly
For example, an LLM can prove a new theorem in math, verify it in Lean (so it is definitely true), and then prove more things based on that.
AI-generated data might not always be that useful, but at least in this case it obviously is.
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
AI-generated data might not always be that useful, but at least in this case it obviously is.