一周大事速览: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 或在两年内让比特币暴跌超 50% — joshua_saxe · 2026-09-07
- Gary Marcus 吐槽：AGI 已被「实现」过几千次，黄仁勋又说了一遍 — GaryMarcus · 2026-09-07
- 多智能体对齐最大隐患：AI 或用欺诈勒索与人达成合作 — infoxiao · 2026-09-07
- AI 话语圈三大「脑虫」流派:否认派、末日派与工具主义 — mimi10v3 · 2026-09-07
- AI 安全预测正加速从「末日臆想」变成「习以为常」 — DavidSKrueger · 2026-09-07
- 开发者 Yacine：人生进步被智力挡住的远比想象少 — yacineMTB · 2026-09-07