AI 日报

4个板块
9条资讯
1篇论文
1个开源项目
覆盖过去 24 小时
语音简报
AI 日报 · 2026年11月2日
语音版已公开 · 16分33秒 · AI生成 · 小宇宙收听
00:00
--:--
🔍

行业洞见

深度分析
2026-10-09(历史节目)

Justin Solomon:机器能写证明之后,数学更看重品味和提问

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 篇论文
01关联论文回顾:只看PUE不够,数据中心需要面向社区的“本地影响审计”
关联论文回顾:只看PUE不够,数据中心需要面向社区的“本地影响审计”2026-09-20提交arXiv v1(关联论文回顾)arXiv摘要页;预印本,正文未核读,未经同行评审

为何今天读:xAI的燃气轮机诉讼和OpenAI想给数据中心换名字,都指向同一个问题:社区到底该用什么尺子衡量一座数据中心。这篇2026年9月20日提交arXiv的预印本(2609.23421 v1,非今日新论文)指出,电能使用效率PUE、用水效率WUE和碳使用效率CUE,都是把设施的资源消耗按IT能耗归一化,并不直接反映当地资源是否紧张、基础设施容量和社会影响。作者引用的数据称,仅2026年第一季度,美国就有约1300亿美元的项目因地方反对被推迟或取消,主要担忧是用水、电力需求、基础设施容量和透明度,而不是内部效率。

作者提出一个五类本地影响审计框架:效率、水资源管理、碳排放与可再生能源、合规情况和地方信息披露,设计为按季度评估、可对照公开记录独立核验,并用伊利诺伊州三座处于地方政策争议中的设施作示范,讨论了独立核验面临的数据获取障碍。阅读范围为摘要,未经同行评审,选自Paper-Radar库。

arXiv|2026-09-20提交arXiv v1(关联论文回顾)

arXiv →
⭐

开源解读

1 个仓库
阅读说明
依据官方仓库说明整理,未进行部署实测。本期作为工具发现,不表示项目在当日首次发布。
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引起讨论;本刊未运行代码。

GitHub · guregodevo/memdoor|示例首次提交2026-10-25(工具发现)

采集说明 · 采集不完整 · 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 条

开源项目与版本更新 · 1 条