The last major nuclear weapons treaty between the US and Russia has expired, with no replacement in sight. The answer could be technical: Replace inspectors with satellites – and algorithms.
