This is the first I'm hearing about it.
I forgot to mention that OpenAI also invented PPO, which is the default algorithm that everyone uses for RL since 2017: https://en.wikipedia.org/wiki/Proximal_policy_optimization
DeepSeek's GRPO is also just a minor variant of PPO.