Comment by Scarblac

2 days ago

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

Formally verified traditional algorithms.