@tao@mathstodon.xyz will human mathematical problem solving become an extinct skill in the very near future (next decade or two)?