Mathematician warns US spies may be weakening next-gen encryption