Geoffrey Irving 预测 CSETH 突破概率超 80%

AI 安全研究者 Geoffrey Irving 表示，他现在认为 CSETH（一个形式化数学证明进展的基准/猜想到达时间预测）的发生概率至少超过 80%。他提到两天前在 ETH 上「损失了大量贝叶斯积分」，并自嘲按逻辑归纳体的说法「我们还处在低阶项里」。这类来自前沿实验室研究人员的量化时间线表态，被视为观察 AI 加速数学研究进展的一手信号。