I asked chatGPT. However it's saying that's 2022 problem 5, however that seems to be clearly wrong... Moreover I can't find that problem anywhere so I don't know if it's a hallucination or something from it's training set that isn't on the internet....

Okay, please don't post ChatGPT output as fact without verification or at least stating where you got it.

Butlerian jihad can’t come soon enough lol