Exactly. They can continue doing the sport version, just like sprinting is still there at the Olympics and people admire Usain Bolt or whoever is more recent. B

Exactly. They can continue doing the sport version, just like sprinting is still there at the Olympics and people admire Usain Bolt or whoever is more recent. But we use cars and trains and planes when we want to get somewhere and don't confuse Bolt's run with transportation. So you can do this kind of recreational intellectually satisfying human math in a similar way, while productive freight-train-like math will be done with AI.