That isn't relevant. CERN isn't a US government project and the US doesn't provide funding. The cumulative budgets of the EDA member states €223 billion in 2018[1].
> CERN isn't a US government project and the US doesn't provide funding.
That's news to US taxpayers, which have provided money to CERN projects for decades, including LHC. Half a billion dollars for LHC was considered a lot of money back in 1997 (when US GDP was ~37% the size it was in 2019).
2008: "On Monday, the Department of Energy and the National Science Foundation announced that the United States has completed - on budget and ahead of the September 30, 2008 milestone - its contribution to the Large Hadron Collider (LHC). Under its agreement with CERN, the U.S. contributed $531 million of accelerator components and particle detectors for the LHC."
The US's contributions to CERN are equipment and services rather than money, but indeed they are a big contributor. They are certainly the largest participating country in the LHC by number of scientists.
Samsung is partnering with AMD for the GPUs in their Exynos chips. Apple could do that or partner with Imagination again. For Mac Pros they could still stick with dedicated AMD cards. ARM does support PCIe and there are ARM servers that use AMD/Nvidia for GPGPU[2]. So Apple does have options and we'll see what they end up doing.
/æɡ/