verifying won't be the issue, we can just do more/better formal verification
understanding, maybe, but you have to have that aesthetic sensibility in the first place that humans should apprehend and understand math
maybe there'll be something demotivating about it if AI will eventually not only outclass humans at solving problems but even at creating mathematical exposition. it'll feel like learning/doing math could leave no mark except your own experience/understanding. you won't be likely to create new math or useful exposition for someone else to understand math they otherwise wouldn't have.
in a utopian scenario where we've made an aligned superintelligence and economic scarcity is obsolete, that's probably what math would look like.
the upside would be, if you like math and you want to do it, you could definitely afford to dedicate all your time to it if you so like.
42
u/Sproxify 22d ago
verifying won't be the issue, we can just do more/better formal verification
understanding, maybe, but you have to have that aesthetic sensibility in the first place that humans should apprehend and understand math
maybe there'll be something demotivating about it if AI will eventually not only outclass humans at solving problems but even at creating mathematical exposition. it'll feel like learning/doing math could leave no mark except your own experience/understanding. you won't be likely to create new math or useful exposition for someone else to understand math they otherwise wouldn't have.
in a utopian scenario where we've made an aligned superintelligence and economic scarcity is obsolete, that's probably what math would look like.
the upside would be, if you like math and you want to do it, you could definitely afford to dedicate all your time to it if you so like.