I don't think AMD was under any legal obligation to call their extensions the same as Intel's. On the contrary I think they had to negotiate for the right.
But you can't really expect Intel to use the name AMD64 now can you? If they had continued to call it x86-64 then perhaps, but lets face it, that was a pretty poor name. Not easy to prononce, google for, use as a variable name, etc.