Humans Solve Erdos Problem

(blog.computationalcomplexity.org)

4 points | by _alternator_ 9 hours ago ago