It’s an interesting thought, I think that’s roughly what Jacob Tsimerman is trying to do with https://www.mathforaisafety.org/.
It’s an interesting thought, I think that’s roughly what Jacob Tsimerman is trying to do with https://www.mathforaisafety.org/.