Exactly. The closest thing to a mathematical definition of intelligence is probably Marcus Hutter's AIXI model (http://www.hutter1.net/ai/uaibook.htm). But it's not widely accepted and not practical to measure.