4 ms·

Can humans solve more than the most trivial SAT problems? Keep in mind, AGI does not imply superhuman intelligence.