Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
anematode
19 days ago
|
parent
|
context
|
favorite
| on:
Further human + AI + proof assistant work on Knuth...
Actually, the neural net itself is fairly imprecise. Search is required for it to achieve good play. Here's an example of me beating Stockfish 18 at depth 1:
https://lichess.org/XmITiqmi
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: