红眼修士：游客说“至少有一个人红眼”之后会怎样？

设实际有 $k$ 位红眼修士。

游客的公开声明成为“公共知识”，触发归纳推理：

• 若 $k=1$，那位红眼修士看不到别人红眼，听到声明后立刻知道自己红眼，于是第 1 天午夜自尽。
• 假设当红眼人数为 $k-1$ 时，会在第 $k-1$ 天午夜同时自尽。
• 当红眼人数为 $k$ 时，每位红眼修士都能看到 $k-1$ 位红眼。如果自己不是红眼，则红眼人数应为 $k-1$，按归纳假设应在第 $k-1$ 天午夜发生自尽；但他观察到前 $k-1$ 天都无人自尽，于是第 $k$ 天得知自己也红眼，并在第 $k$ 天午夜自尽。

因此 $\boxed{\text{若共有 }k\text{ 位红眼，则第 }k\text{ 天午夜这 }k\text{ 人同时自尽。}}$

在常见版本里 $k=100$，所以第 $\boxed{100}$ 天午夜 100 位红眼修士同时自尽。