That's not clear at all. What's clear is that this is a very smart man who knows how to use this tool well.
I'd say an entity capable of instructing one of the leading mathematicians of his era is pretty clearly intelligent by any reasonable measure - however it might be arriving at its output.
I'd say an entity capable of instructing one of the leading mathematicians of his era is pretty clearly intelligent by any reasonable measure - however it might be arriving at its output.