zetalyrae：AI 对齐争论暗含“ASI 能枚举实数”式不可解假设

研究员 zetalyrae 指出，许多 AI 对齐争论默认 ASI 能枚举实数并解决任意问题，却未先论证目标问题在数学上是否可解。他认为，对齐讨论应先评估问题本身是否存在解，再讨论超级智能能否实现目标。