How machines find a more elegant truth