I’m willing to bet it still proved more novel mathematical theorems than you did.

What does this say about your reasoning?

Excavator can dig a ditch better than I can, thus it must be more capable than me in every physical dimension.

No. But it is a better digger, and it can in fact dig, evident by the fact that it digs. It doesn’t merely simulate digging just because it’s a machine.