“The human function is to ‘discover or observe’ mathematics,” said twentieth-century British mathematician G. H.…