Intel employees have been contributing RISC-V patches to GCC for quite some time, and continue to do so. Here's one from today: https://inbox.sourceware.org/gcc-patches/20231106141623.3076...

Intel is also a member of RISC-V International: https://riscv.org/members/

I get that Intel is a very big company, but that kind of disconnect would be rather extreme.