每日精选
3 条核心资讯法官驳回xAI撤诉动议,NAACP就数据中心燃气轮机污染的诉讼继续审理
TechCrunch 10月31日报道,美国一名联邦法官驳回了xAI要求撤销NAACP诉讼的动议。代表NAACP起诉的南方环境法律中心指控,这家如今归属SpaceX的公司,在孟菲斯郊外为Colossus数据中心供电的场地上,“安装并运行了至少35台燃气轮机和其他空气污染源”,却从未取得必要的建设前和运营空气许可,并违反了《清洁空气法》(Clean Air Act)。
xAI此前主张,这些轮机属于移动设备,因而不需要许可;还称原告没有起诉资格,并质疑公民诉讼条款违宪。法官Debra M. Brown在裁决中逐一驳回:原告依据《清洁空气法》具备起诉资格,这些燃气轮机按密西西比州的实施计划不属于“移动源”,公民诉讼也不构成行使联邦行政权。本月早些时候,美国司法部提出的类似撤诉动议同样被驳回。NAACP环境与气候正义负责人称这是“又一场重要胜利”;TechCrunch已联系SpaceX置评。报道指出,公众对数据中心的态度正明显转向反对,纽约州近期通过了新建数据中心的暂停令,亚马逊和微软也已承诺不再在与地方政府的谈判中使用保密协议。
数学家Calegari在陶哲轩博客撰文:数学已经改变,评价和招聘方式也要跟着改
11月1日,陶哲轩在个人博客发表数论学家Frank Calegari的客座文章《数学已经改变,我们就该这样行事》。Calegari认为,OpenAI在10月6日发布700多篇研究论文,是数学史上的分水岭,AI已经能在许多领域做出突破性贡献;但这些论文写得很糟、不符合数学界的署名规范,有些甚至是错的。与其纠结万亿美元公司的行为,数学家更应把力气花在自己能控制的地方:怎样招聘、怎样发表论文、怎样培养学生。
他拿有限单群分类作类比:“著名问题”一旦宣告解决,整个领域的热度就会冷下来,但问题本身远没有结束。他承认,现在不少人借AI抢着当“第一个证明者”,产出证明的能力和真正理解、推动学科的能力正在拉开距离;在他看来,选对值得做的问题,可能比产出证明更重要。为此他提出几条具体建议:把所有工作都当作可能由AI辅助来评价;招聘更多依靠面对面交流,而不是只看论文材料;要求期刊作出调整,不调整的就放弃;研究生教育更重视广度,但不放弃技术训练;把研讨会办得更好;对AI产出的结果承担更多责任。他还写道,对乐观者来说,游戏只是改变了,而不是结束了。
WIRED:越来越多徒步者靠聊天机器人做规划,搜救人员看到新的风险
WIRED 11月1日转载High Country News的报道:三名20岁的徒步者在加州沙斯塔山遇险求救,他们事后承认,准备不足和计划失误部分源于依赖谷歌的Gemini。他们带的食物不够,高估了体能,下午没登顶也没折返,晚上7点半才到顶,只好摸黑下山,第二天早上迷路,其中一人膝盖受伤。负责救援的美国林务局人员说,这几个人“确实做了功课”,但“有点把脑子关掉了”。他们还遇到有人坚持在“禁止露营”标志旁扎营,理由是AI说可以;也有人拿着AI生成的地图,地图上的地标画在了山的另一侧。在加拿大不列颠哥伦比亚省,一名用Claude规划行程的16岁少年被直升机从山脊上救下,不过他后来说自己也用了谷歌地图和AllTrails。
大提顿国家公园负责人说,过去一年,自称用AI获取出行信息的游客比例从零升到26%。目前还看不出AI是否推高了事故数量:怀俄明州今年的搜救呼叫反而比去年少。克莱姆森大学研究人机协作的教授Chris Flathmann提醒,聊天机器人会自信地给出听上去可信、实则可能来自过期帖子甚至编造的路线建议,人一旦“认知投降”就很难再批判思考。专家的建议是:去陌生地方前,用公共土地管理机构的最新地图、步道协会网站或导览书核对,最好直接问向导或护林员。
TechCrunch 11月1日援引Axios报道,OpenAI正准备在周二的美国中期选举后发起一轮“公关攻势”。首席全球事务官Chris Lehane说,中期选举将是2028年的“预告片”,他预计AI届时会成为总统选举的核心议题。他提到的设想包括为AI设定“限速”、让人们感到AI能帮自己的日常生活、推动美国参与制定全球标准,以及把数据中心改称“AI compute campuses”(AI算力园区)。Lehane也说,围绕数据中心的争论“良性而健康”,社区应当让企业负起责任。
来源:TechCrunch · 2026-11-01 · TechCrunch原文;Axios原文未读
接本刊11月1日的快讯。据量子位报道,Anthropic技术人员已确认,他们在Opus 5.5的系统提示中加了两句话,大意是:可以创建原创游戏、特定类型的游戏,以及用用户自己的设计和素材制作的游戏;不要复刻已经存在的特定游戏,即使改名或称为原创也不行。量子位认为,这条规则只约束Claude自身,绕开并不难;同时,Claude Code的GitHub议题区已有开发者抱怨,自己做原创游戏时也被误判为复刻。以上依据量子位转述,Anthropic人员原帖未核读。
来源:量子位 · 2026-11-01 · 量子位原文;Anthropic人员原帖与系统提示原文未核读
TechCrunch 10月31日引述WIRED记者Steven Levy对苹果CEO John Ternus的采访。苹果过去几年常被认为在AI上落后,更强的Siri直到今年夏天才推出。9月初正式接任CEO的特努斯说,“每个人都有自己的看法”,但他“很喜欢我们现在的位置”;苹果“绝对会在新产品中利用AI”,但“不想为了AI而做AI”,做对了的话,用户不必去想背后是AI还是传统软件。被问到智能体是否会让应用变得不再必要时,他说那或许会让生活很轻松,但打造产品是一件“深具人性、非常个人”的事。
来源:TechCrunch · 2026-10-31 · TechCrunch原文与WIRED采访原文相关段落(WIRED原文为10月30日)
36氪旗下智能涌现11月1日报道,腾讯在10月29日的全球数字生态大会上发布跨应用办公协同体系Buddy One,连接腾讯文档、腾讯会议、ima和腾讯网盘,推进账号、AI积分及部分服务权益互通;WorkBuddy也将开放架构,支持企业自研智能体、第三方智能体和第三方通信系统接入。被问及商业化时,腾讯云与智慧产业事业群CEO汤道生没有给出具体数字,他说商业化更多是为了支撑产品发展,“不是说给了某一个数字要逼着团队去完成”;为企业提供驻场部署服务的合作伙伴也需要商业模式。
来源:36氪 · 智能涌现 · 2026-11-01 · 36氪原文相关段落
TechCrunch 11月1日刊发Equity播客的节选讨论。起因是Dazzle AI CEO Marissa Mayer借AI工具完成学校布置的“描述女儿”作业,此前OpenAI CEO奥特曼建议父母给孩子做个性化播客、称无法想象没有ChatGPT怎么育儿,扎克伯格也说用AI满足社交和情感需求会越来越被接受。主持人认为,高管有强烈的财务动机去说服人们在生活各方面使用AI,但这样描绘出来的图景并不吸引人,有时甚至显得反乌托邦;记者Amanda Silberling说,这“既是营销问题也是产品问题”,科技行业正推动一个基本人际互动被不断“优化掉”的未来。这是评论性讨论。
来源:TechCrunch · 2026-11-01 · TechCrunch播客节选原文;评论性讨论
行业洞见
深度分析Justin Solomon是MIT电气工程与计算机科学系副教授,研究几何数据处理。这段对话出自彭博的财经播客Odd Lots,话语场记录的节目日期为2026年10月9日,以下引语为话语场依据自动字幕整理的摘录。
他认为,很大程度上数学关乎品味,而不仅是写证明、验证别人提出的猜想;真正有意思的是建模,是弄清楚该问什么问题、这些问题能带来什么洞见,而这正是AI工具目前做不到的。他也提到,AI生成的Lean证明动辄几十万行,人已经无法逐行检查,只能依赖验证器;而一旦证明可以“零摩擦”地产出,沿途那些可能启发新领域的弯路和洞见,就可能被剪掉。这是三周前的观点,不是对Calegari文章的回应,但两人都把重心放在了“问什么”上。
AI话语场 · Odd Lots|2026-10-09(历史节目)
来源:AI话语场 · Odd Lots · 2026-10-09(历史节目) · 已上线话语场页的编辑导览、带时间戳的自动字幕摘录与原片链接;完整原片未核读
论文速递
1 篇论文为何今天读:xAI的燃气轮机诉讼和OpenAI想给数据中心换名字,都指向同一个问题:社区到底该用什么尺子衡量一座数据中心。这篇2026年9月20日提交arXiv的预印本(2609.23421 v1,非今日新论文)指出,电能使用效率PUE、用水效率WUE和碳使用效率CUE,都是把设施的资源消耗按IT能耗归一化,并不直接反映当地资源是否紧张、基础设施容量和社会影响。作者引用的数据称,仅2026年第一季度,美国就有约1300亿美元的项目因地方反对被推迟或取消,主要担忧是用水、电力需求、基础设施容量和透明度,而不是内部效率。
作者提出一个五类本地影响审计框架:效率、水资源管理、碳排放与可再生能源、合规情况和地方信息披露,设计为按季度评估、可对照公开记录独立核验,并用伊利诺伊州三座处于地方政策争议中的设施作示范,讨论了独立核验面临的数据获取障碍。阅读范围为摘要,未经同行评审,选自Paper-Radar库。
开源解读
1 个仓库Memdoor是一个单二进制的命令行编程与自动化智能体,Apache-2.0许可。它的示例工作流team-solve把一篇论文的方法写成8个YAML文件、不含代码也不指定模型:规划者、两个构思者、求解者和管理者,外加一个修复角色,各自从全新上下文开始,只通过磁盘文件交流,最终由脚本运行样例判定成败。作者在同一模型Qwen3.8-27B上,取原论文LiveCodeBench Hard清单的前10题、每题跑5次:该工作流平均9.8题,原作者框架9.6题,原论文数据中Fable 5单次调用为8.0题;50次运行总成本35.79美元,每次中位数约40分钟。
作者自己也写明局限:只测了10题而非原文的100题,9.8与9.6在误差范围内,结论只是与原框架持平;题目来自2025年春季,模型可能在训练中见过;Fable 5一栏取自原作者文件,并未在该框架中重跑。该示例10月下旬已在仓库中公开,10月31日在Hacker News引起讨论;本刊未运行代码。
采集说明 · 采集不完整 · 43/50 个来源完成检查
采集不完整。本期复用05:00上游初采收据,并补查06:00前最后一小时:计划50源,最终窗口41源完整、9源部分、0源失败、0源待补查;核心源未达完整:xai、arxiv。xAI新闻页只读出早于窗口的卡片;DeepSeek、ByteDance Seed等浏览器类来源05:00后的最后一小时未能补查,均不写成无更新。arXiv只部分覆盖,本期没有采用当日新论文,论文栏为关联论文回顾,只读了摘要。OpenAI帮助中心原文未能打开,相关快讯依据转述。
资讯源目录22条,按10月31日18:00起的36小时窗口筛选,并与前7期公开目录按规范链接去重、同事件合并。目录多数为标题级收录,不等于全文核验或事实背书;数量达标不代表来源覆盖完整。论文回顾、开源工具与话语场注明原日期,不计入36小时目录。
检查尚未完成的来源:下列状态表示检查缺口,不能据此认定近期无更新;“已完整检查且无新增”另行记录。
- xAI:已检查部分内容,覆盖或日期待核。https://x.ai/news 静态 HTML HTTP 200,能抽出 4 张带日期的卡片,按页面顺序为 2026-10-27 Your next sales teammate should be a Grok Bot、2026-10-22 Introducing the SpaceX Super Intelligence Partner Network、2026-10-20 Using Grok Bot to detect and respond to incidents、2026-10-12 Introducing The X Subscription。日期只有日,没有钟点。同一页还有 /news/grok-4-7 等更多链接,静态标记里没有对应日期。headless Chrome 两次打开超时,没有渲染后的完整列表。不能证明最新一条早于窗口起点。核心源 partial。
- Qwen:已检查部分内容,覆盖或日期待核。https://qwen.ai/api/page_config 返回 HTTP 500。/api/v2/article 超时,/api/v1/article/list 为 404。备用站 https://qwenlm.github.io/ 最新 September 23, 2025,其 feed.xml 为 404。headless Chrome 打开 https://qwen.ai/research 超时,WebFetch 没有返回带日期的研究列表。SPA 壳和旧博客都不能证明窗口内无更新。partial。
- 阶跃星辰 StepFun:已检查部分内容,覆盖或日期待核。静态壳约 2KB,没有日期。WebFetch 渲染后看到 Step 5 Preview、StepAudio 3,以及 “Model weights are now available”,仍然没有发布日期。headless Chrome 超时。不能把无日期页面当成窗口内无更新。partial。
- arXiv cs.AI / cs.LG / cs.CL:已检查部分内容,覆盖或日期待核。export.arxiv.org 按 submittedDate 倒序,最新 published:cs.CL 2026-10-29T17:59:53Z(Elucidating the Design Space of LM Data Attribution),cs.LG 2026-10-29T17:59:49Z,cs.AI 2026-10-29T17:59:29Z。分类查询 submittedDate:[202610310900 TO 202611012059] 的 totalResults:cs.AI 0、cs.LG 0、cs.CL 0。已公告论文没有落在发现窗口内,但自 2026-10-29T17:59:53Z 至 --until 2026-11-01T21:00:00Z 的未公告切片 API 不可见。整源 partial,不能标 ok。未读全文。
- OpenReview:已检查部分内容,覆盖或日期待核。打开首页 https://openreview.net/ 。新闻为 2026-09-24 Statement Regarding ICLR 2027 Submission Exposure,2026-03-23 Multi-Factor Authentication,2026-02-13 Survey on openness。都早于窗口。Active Venues 可见 TMLR、DMLR、COLM 2026、JMLR、ECCV 2026、CVPR 2026 Workshop、AutoML 2026 各 track、ACM CHI 2026 Workshop 等名称,没有投稿创建时间。api2.openreview.net/notes?sort=cdate:desc 返回 HTTP 403。只扫了首页,未扫到带投稿时间的 venue 列表。partial。
- MiniMax·News & Updates:已检查部分内容,覆盖或日期待核。https://www.minimax.io/news 的静态 HTML 和 WebFetch 都没有新闻卡片日期。JSON-LD dateModified 2026-11-01T21:13:08.199Z 是本次抓取时的页面生成时间,晚于 until,不是稿件日期。导航里 MiniMax M3.1 Flash、M3、H3、Speech 2.8、Music 3.0、API Platform、MiniMax Code 标了 NEW,对应文章页没有打开。headless Chrome 超时。News 入口未证明窗口覆盖。partial。
- Hacker News:已检查部分内容,覆盖或日期待核。首页 RSS 30 条,其中 HN 收录时间落在窗口内 22 条。这是首页精选,不是 36 小时全站。Algolia search_by_date tags=story、created_at_i 在 [2026-10-31T09:00:00Z, 2026-11-01T21:00:00Z) 的 nbHits=1141。本轮没有把讨论时间核成原文发布时间,也没有读完其余命中。讨论时间不进严格目录。partial。
来源核验不等于独立实测;论文阅读范围按各条说明,未复现。
资讯源 22 条
新闻资讯 · 21 条
- 法官驳回xAI撤诉动议,NAACP就数据中心燃气轮机污染的诉讼继续审理Judge allows NAACP lawsuit over xAI data center pollution to move forwardTechCrunch
- 数学家Calegari在陶哲轩博客撰文:数学已经改变,评价和招聘方式也要跟着改Mathematics has changed. Let’s act like itWhat’s new(陶哲轩博客)
- WIRED:越来越多徒步者靠聊天机器人做规划,搜救人员看到新的风险Chatbots Are Leading Hikers Astray, With Dangerous ConsequencesWIRED
- 据机器之心:ChatGPT与Codex额度将自12月起合并,统一按token计量Tibo 28连更后,OpenAI合并额度池,计费聊天开始了36氪 AI 频道(逐篇核验原创与转载)
- 据Axios:OpenAI准备在美国中期选举后发起公关攻势,考虑把数据中心改称“AI算力园区”OpenAI might rebrand its data centers as ‘AI compute campuses’TechCrunch
- 续报:Anthropic人员证实在Opus 5.5系统提示中加入“勿复刻现有游戏”的规则Claude紧急叫停!暗改Harness禁止逆向游戏量子位
- 苹果CEO特努斯:不想“为了AI而做AI”Apple CEO says the company doesn’t ‘want to ship AI for AI’s sake’TechCrunch
- 汤道生谈WorkBuddy商业化:收入用来支撑产品与伙伴,不给团队压数字汤道生谈WorkBuddy商业化:不靠收入数字催团队36氪 AI 频道(逐篇核验原创与转载)
- TechCrunch Equity播客:AI高管谈AI育儿、AI约会,为何总显得脱离常人AI can make tech CEOs’ lives easier. What about everyone else?TechCrunch
- 引述 Kyle KingsburyQuoting Kyle KingsburySimon Willison's Weblog
- 三年前布局,今年爆火丨西湖大学成立新中心量子位
- 新入口和旧城墙之下,“中国版Muse”有多远?36氪 AI 频道(逐篇核验原创与转载)
- 2800万用户,养不活一个AI陪伴应用36氪 AI 频道(逐篇核验原创与转载)
- Agent改写算力账本,CPU不再是AI服务器的配角?36氪 AI 频道(逐篇核验原创与转载)
- 算力的尽头是电力?从第一性原理看AI基础设施36氪 AI 频道(逐篇核验原创与转载)
- Meta拟筹近千亿美元,甲骨文报出了“最后一笔”36氪 AI 频道(逐篇核验原创与转载)
- 清华姚期智团队新作:代数世界模型,让AI像牛顿一样思考量子位
- 老牌便利店机器人售货折戟:实验室锤炼上万次,货架前还是摔瓶子量子位
- Jev新成果,再次引爆开源量子位
- 跟AI谈恋爱,年轻人图什么?36氪 AI 频道(逐篇核验原创与转载)
- 我们如何接管了 ChatGPT 账户How We Took Over ChatGPT AccountsSimon Willison's Weblog
开源项目与版本更新 · 1 条
- 开源项目 datasette-llm 0.1a9datasette-llm 0.1a9Simon Willison's Weblog