Fact checking Moravec's paradox