Comment by Scarblac

3 days ago

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

Formally verified traditional algorithms.