Scott Aaronson says the solution to Erdös’s 1946 Unit Distance Problem highlights how quickly AI may surpass human cognitive contributions · Digg