Intel (100k +-) should be compared with AMD (28k) + TSMC (84k)

Intel also uses TSMC [1] for ARC, since they can't compete. So, you need to add some large fraction of TSMC to intel, also.

[1] https://www.tomshardware.com/tech-industry/intel-will-keep-u...