跳到正文
2026 年 11 月 8 日 · 星期日每天 08:00 出刊

AI 日报 · 2026 年 11 月 8 日 · 星期日

EDUHOT

第 18 期082026 年 11 月星期日
12件大事11个来源3件一手发布约 5 分钟读完
头条

PSI 用 Anthropic 未公开模型证出 18 年量子猜想,并完成 Lean 形式化

Physical Superintelligence(PSI)11 月 6 日公布 Aaronson-Ambainis 猜想的证明,给出显式指数 7,证明由多个 Anthropic 未公开模型实例的研究系统在第 3 天写出,Lean 4 形式化全部通过检查。

掘金 · AI 编程原文
01

行业动态

Google · News

民主党如何借数据中心反对情绪翻转红州选情

CNN 报道称,在中期选举中,民主党候选人把选民对数据中心的不满作为竞选议题,在得州、俄亥俄、南卡罗来纳等红州取得胜利。得州当选州长 Gina Hinojosa 主张在立法机构通过保护措施前暂停数据中心建设;俄亥俄至少 10 个城市的选民通过宪章修正案禁止大型数据中心建设。

知乎热榜一手另外 6 家也报道了

特斯拉宣布终止 Cybertruck 生产,扩大 Cybercab 产能

马斯克在 X 平台发文称,特斯拉将于明年年中左右在德克萨斯超级工厂逐步收尾 Cybertruck 的生产,转而扩大自动驾驶出租车 Cybercab 的产能。Cybertruck 首席工程师 Wes Morrill 表示,该车型的生命将通过 Cybercab 延续。特斯拉正推动业务重心转向 Optimus 人形机器人、Cybercab 和 Semi Truck 三条核心业务线。

02

论文研究

03

快讯

(本期完)

EduHOT 日报根据公开报道自动整理,每条都附原文 · 日报合订本