わたしがAIに聞いたら、記事前半は完全に正しいとのこと。
数学的には、まず"Hat Puzzle with real numbers"というものがあって
その変種として、箱入り無数目と同じ設定の"Countable Box Paradox"
というものが、世界的に知られているらしい。