Comment by alkyon

In the first case, we'd still have a chance to take a glance at the frontier of discovery (even if ordinary human mathematicians had to spent years translating what metahumans achieved).

In the second case all human-level maths would be solved and what lies beyond would be always out of our scope.