I'd rephrase the last line as the lesson is more the classic early optimization mistake. If you can't make something as smart as a fish then don't worry so muc

I'd rephrase the last line as the lesson is more the classic early optimization mistake. If you can't make something as smart as a fish then don't worry so much about super-human levels of optimization. The mathematically innumerate comments are almost a troll that if the thought experiment worked and an artificial mathematician were invented, a significant fraction of the real world would not recognize or agree with its results. There's a very cruel saying about people should do what they're born to do, with the dark insinuation that grandma the knitter should be locked in a sweatshop to sew against her will or (insert trendy CS tech here) children should be euthanized as a general policy until the tech gains significant commercial traction. Anyway unless an AI is quite heavily socialized into our culture what we're likely to grow might be ideally suited to research Klingon Warp Engine Fields in the 24th century but to us the output is going to look like hard to compress digital noise, so there's that problem.