> It is worth emphasizing that dogs wouldn't understand formal calculus even if they were smarter than humans!
Exactly! If a dog invented a dog superintelligence and it discovered calculus, the dogs would never understand that discovery. I think a superintelligence we build will discover things we cannot understand.