I view the AI-assisted solving of existing math problems as cleaning up. Once we’ve cleaned up, we can march forward with AI on our shoulders, into new problems that only human+AI can think of together as an augmented pair, for each alone would be smaller and less capable.
1 comment
[ 0.22 ms ] story [ 4.8 ms ] thread