Hacker News new | ask | show | jobs
by jncfhnb 905 days ago
Chess is best solved by fuzzy fake logic or whatever you want to call it.

Formal correctness is drastically different from “actual reasoning”.