Relying on Computer, U.S. Seeks to Prove Iran’s Nuclear Aims