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...?
Or the competing team. Wonder which one will be more useful.