Yeah, I think we’re not so far apart here. I’m not arguing for a math-proof-AI as a solution because I don’t believe that it enables world-saving actions.
I’m just trying to say you could have a narrow math-assistant AI at a higher level of math-specific competence relatively safely compared to a general AI which knew facts about computers and humans and such.
Yeah, I think we’re not so far apart here. I’m not arguing for a math-proof-AI as a solution because I don’t believe that it enables world-saving actions.
I’m just trying to say you could have a narrow math-assistant AI at a higher level of math-specific competence relatively safely compared to a general AI which knew facts about computers and humans and such.