WolframAlpha computational knowledge AI
solve n^n=2^x-1,x>1,n>1 over the integers