Reddit 讨论：AGI 的关键能否在数学空间中被证明

Reddit 用户围绕 AGI 及智能递归自我改进（RSI）所需条件能否在数学空间中被形式化证明展开思辨，认为相关要素可能被数学化描述。发帖人猜测，数学能力极强的未来 ASI 可能直接发现描述智能的数学空间，并估计这一情形在 5 年内发生的概率约为 35%；讨论尚无定论。