Hacker News new | ask | show | jobs
by mejutoco 650 days ago
Sounds similar to symbolic reasoning (for example algebra) vs finding the most likely completion.