Geoffrey Irving 对 CSETH 突破给出 >80% 概率预测
geoffreyirving · x · 2026-10-28
AI 安全研究者 Geoffrey Irving 表示,尽管两天前在 ETH 上「损失了大量贝叶斯积分」,他现在认为 CSETH(一个形式化数学证明进展的基准/猜想到达时间预测)至少有 80% 以上的发生概率,并自嘲按逻辑归纳体(logical inductor)的说法「我们还处在低阶项里」。
这类来自前沿实验室研究人员的量化时间线表态,是观察 AI 加速数学研究进展的一手信号。
「研究」频道最新
- RobotAgentBench 发布：VLA 会操作≠能自主，任务发现是短板 — HennyJieCC · 2026-10-28
- AIFlow 发问:生成世界训练的机器人策略过真实测试,敢不敢上线 — AIFlow_ML · 2026-10-28
- 新论文:按梯度范数排序注意力头,稀疏 RL 微调媲美全量训练 — SimonShaoleiDu · 2026-10-28
- 学者称 arXiv 已难承担预印本职,未来或沦为论文分发平台 — mjuric · 2026-10-28
- DeepMind 机器人模型短板：物体恒存性会漂移，2 厘米位移即认不出 — AIFlow_ML · 2026-10-28
- Hugging Face 研究员推出 Carbon-X 协调层：代币换社区训练额度与 DNA 赏金 — LoubnaBenAllal1 · 2026-10-28