Hacker News new | ask | show | jobs
by pillefitz 1189 days ago
Can humans solve more than the most trivial SAT problems? Keep in mind, AGI does not imply superhuman intelligence.