Difficulty/prerequisites is one of the uncertainties that will have to be addressed. Some AI safety only requires algebra skills while other stuff needs logic/ML/RL/category theory/other, and then there is stuff that isn’t formalized at all.
But there are other applied mathematics fields with this problem, and I expect that we can steal a solution by having a look there.
Thank you!
Difficulty/prerequisites is one of the uncertainties that will have to be addressed. Some AI safety only requires algebra skills while other stuff needs logic/ML/RL/category theory/other, and then there is stuff that isn’t formalized at all.
But there are other applied mathematics fields with this problem, and I expect that we can steal a solution by having a look there.