Comment by Scarblac

7 months ago

Not AI, AI is less trustworthy than normal software almost by definition.

Formally verified traditional algorithms.