Comment Comment by Onavo By verifiable do they mean it in the complexity theory P/NP sense of the word? parent Onavo 1 year ago