Today I would say that if you can write AI at all, you can write the code parts in C, because AI is not a coding problem.
I’d rather the AI have a very low probability of overwriting its supergoal by way of a buffer overflow.
Proving no buffer overflows would be nothing next to the other formal verification you’d be doing (I hope).
I’d rather the AI have a very low probability of overwriting its supergoal by way of a buffer overflow.
Proving no buffer overflows would be nothing next to the other formal verification you’d be doing (I hope).