Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Sopel
4 months ago
|
parent
|
context
|
favorite
| on:
Further human + AI + proof assistant work on Knuth...
The ML techniques it uses are only about evaluation, but you were close
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:
