> I suspect that what he means is something like "artificial intelligence, but that works just like human intelligence".
I think he means "something that can discover new areas of mathematics".
I think he means "something that can discover new areas of mathematics".
That does seem awfully specific though, in the context of talking about "general" intelligence. But I suppose it could rightly be argued that any intelligence capable of "discovering new areas of mathematics" would inherently need to be fairly general.
It's one of a large set of attributes you would expect in something called "AGI."
Superintelligence is smarter than Terrence Tao, or any other human.
SuperIntelligence (or ASI), OTOH, has - so far as I can recall - always been even more loosely specified, and translates roughly to "an intelligence beyond any human intelligence".
Another term you might hear, although not as frequently, is "Universal Artificial Intelligence". This comes mostly from the work of Marcus Hutter[1] and means something approximately like "an intelligence that can solve any problem that can, in principle, be solved".
How many software engineers with a good math education can do this?