Until useful approximations are found, these formal measures are not applicable to our problem--and even then, we will only know which agents are smarter than humans according to a certain metric, which is not necessarily what we are looking for here.

AIQ...?