I remind you that It was AMD who created 64 bit x86. This is why it is originally called (and still sometimes rightfully called) AMD64. I mentioned Jim Keller because he is the co author of x86-64 instruction set specification and lead architect of K8 (opteron) processors. He went back to AMD and working on the new Architecture since 2012. It is true that last 8 years was mostly disastrous for AMD, but I wouldn't count them off so fast, especially if they can ramp up on 14nm with a high IPC design. Time will tell.