一周大事速览:Cybercab 无方向盘载客、费马大定理 Lean 证明完成
Dr_Singularity · x · 2026-09-07
博主盘点刚过去一周的 AI 大事件,节奏明显加速:
- Tesla 开始向公众提供完全无人驾驶 Cybercab 的载人试乘,车内没有方向盘
- GPT-6 Astra 引发热议
- AI 开始在原子尺度构建物质
- Anthropic 上传了费马大定理的 Lean 4 形式化证明,代码达 1300 万行,涵盖证明所需的 29000 多个其他定理,横跨多个数学领域
- 科学家首次完整绘制成年雄性果蝇的大脑与中枢神经系统图谱
- World Labs 发布 Atlas,可仅用三台相机的画面重建运动中的 3D 场景,创作者可从从未拍摄过的视角回看真实瞬间
「漫话AGI」频道最新
- AI 指控震动文学界：从 Caine 奖到龚古尔奖的「人类作者」之争 — TuhinChakr · 2026-10-26
- 科技圈玩起兵棋推演，Anthropic 招兵推负责人成圈内梗 — round · 2026-10-26
- 哲学教授比喻：RSI 是工业革命的终点站 — tobias_rees · 2026-10-26
- NYT 专家圆桌:AI 公司该被怎样监管,五位专家分歧激烈 — ShakeelHashim · 2026-10-26
- 反 AI 内容算法爆火很赚钱，作者：两边都在卖货 — annetgriffin · 2026-10-26
- 硅谷解读：斯坦福 20 公里圈五巨头市值约 18 万亿美元 — FinanceYF5 · 2026-10-26