Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
vbarrielle
8 months ago
|
parent
|
context
|
favorite
| on:
Yann LeCun to depart Meta and launch AI startup fo...
Automated theorem provers are also built around backtracking, which is absent in LLMs.
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:
