alt Hacker NewsSo...why can't an AI do the exact same thing? Make AI so it understands math better for future math to understand more math.
Unless your argument is that mathematicians are effectively useless?
I am assuming that's not your point though.
Replies
SpicyLemonZest • today at 2:11 AM
Perhaps an AI could! Today they do not, because the people driving them understand constructing the proof rather than understanding the proof to be "the problem".
(I suppose it's possible that in some distant AI future there might be no value in people understanding theoretical math, but I'm pretty skeptical of that; to me it seems like the same error as thinking nobody needs to understand multiplication because you can ask the computer to solve any multiplication problem.)
> Unless [...] mathematicians are effectively useless?
It's always been a bit bizarre that this isn't the case. Mathematicians are almost always working on problems that there is no good reason to expect to have utility in the real world... problems they selected because of their elegance or whatever... yet there is a strong historical trend of their work having huge importance after the fact. Sometimes in fields that weren't even invented yet at the time of the work.
There's something to be said for the idea that disrupting a system that is working well for no apparent reason is a bad idea.