Yea, they compensate by having twice the cores with each pair sharing a floating-point units, which works differently than Intel's HT used in Sandy Bridge. Basically which will be better depends on the workload.