AI 日报

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

行业洞见

深度分析
2026-09-11(历史访谈)

Edward Hughes:科学发现不只靠单一模型的智力分数

Edward Hughes曾任DeepMind理论物理学家、领导AI科学家方向团队,现为Inherent AI联合创始人兼首席执行官。他关注的是让智能体参与真正的科学发现。Machine Learning Street Talk是围绕机器学习研究与系统实践的长对谈播客,关注研究方法、交互机制和真实环境中的系统表现。本期引用的是2026年9月11日上线的访谈,不是对今天新闻的回应。

在话语场已上线的摘录中,他在00:02:35说,脱离更广泛生态的AI“在某种意义上毫无意义”,关键在于它能与现实生态一起推动什么;在00:15:19把创新描述为把“未知的未知”变成“已知的已知”,认为真正有价值的突破往往出乎预期,随后才被证明重要;在00:08:27还提到,许多范式转移来自一个领域的知识被带到另一个领域。

与今天的新闻相连:OpenAI的数学和计算机科学结果、Anthropic的药物研发合作,都在测试模型产出能否成为被同行接受的科学进展。Hughes的观点提供了一个视角:结果是否算发现,不只取决于模型生成了什么,也取决于研究社区能否理解、检验并接纳它。这是本刊的关联分析,并非他对今日事件的评论。

AI话语场 · Machine Learning Street Talk|2026-09-11(历史访谈)

来源:AI话语场 · Machine Learning Street Talk · 2026-09-11(历史访谈) · 已上线话语场页的自动提炼摘录、编辑导览及人物/节目页;非完整原片

2026-09-29(历史访谈)

苏姿丰与李飞飞:世界模型与算力系统需要一起设计

苏姿丰是AMD董事长兼首席执行官,二零一二年加入AMD,此前曾在IBM和Freescale从事半导体研发与管理。李飞飞是斯坦福大学计算机科学教授、Stanford HAI创始负责人,曾推动ImageNet数据集的发展,也是空间智能公司World Labs的创办人。Bloomberg Tech是彭博的科技产业采访节目,关注计算平台、企业交易等议题。本期引用的是9月29日两人谈AMD收购World Labs的访谈;交易金额与进展以双方公告为准。

话语场已上线的摘录显示,苏姿丰在00:00:32表示,硬件、软件、系统与模型层相互影响,端到端理解越深,系统就越好;李飞飞在00:07:20认为AI软件与硬件会共同演进,模型受益于前沿硬件,硬件也受益于对未来工作流的了解。

与今天的新闻相连:Genie 4把实时视觉、声音和规划智能体放在同一个模拟循环中,英伟达与Oracle则强调智能体在模型调用之间的CPU工作。两场新闻都说明,世界模型和智能体的体验,不只取决于模型参数,也取决于整套系统如何分工。这是本刊的关联分析,并非嘉宾对今日事件的回应。

AI话语场 · Bloomberg Tech|2026-09-29(历史访谈)

来源:AI话语场 · Bloomberg Tech · 2026-09-29(历史访谈) · 已上线话语场页的自动提炼摘录、编辑导览及人物/节目页;非完整原片

📄

论文速递

1 篇论文
01KAPPA:用Lean 4和智能体逐条检查统计论文证明
KAPPA:用Lean 4和智能体逐条检查统计论文证明10月27日arXiv公告;v1于10月26日15:22 UTC提交摘要、引言、案例与局限段落;预印本,未复现

普渡大学研究者10月26日提交、arXiv于10月27日公告的预印本,介绍开源工具KAPPA。它用Claude Code组织多个语言模型智能体,把LaTeX论文中的证明逐条翻译到Lean 4及其Mathlib库中检查,并给每个编号结果四类结论之一:无条件验证、在列明假设下有条件验证、记录问题及出错位置,或未完成并说明原因。它按论文原有证明逐步复核,而不是另找一条证明。

作者把工具用于四篇有答案的示例论文,以及三篇后来发布过更正的已发表统计论文。对这三篇论文,作者用更正前版本盲测,报告工具都在更正所指的步骤发现了错误,并发现了其他经人工确认的问题。作者也写明局限:Lean内核只检查Lean陈述的证明,这个陈述是否忠实于论文原意,仍要靠审查和人工确认。今天OpenAI的数学结果同样把形式化证明推到台前,这篇论文提供了一个更细的观察角度:机器检查能证明什么,以及仍需要人确认什么。

arXiv|10月27日arXiv公告;v1于10月26日15:22 UTC提交

补充原始资料

arXiv →
⭐

开源解读

1 个仓库
阅读说明
依据官方仓库说明整理,未进行部署实测。本期作为工具发现,不表示项目在当日首次发布。
1

Ai2于10月27日公开科研想法“新颖性评审器”的评测基准、数据、代码以及构建新评测集的自动流程,对应论文《Old Ideas, Novel Problems》此前已在arXiv发布。团队用ICLR 2026同行评审中明确讨论原创性的段落,构建新颖性证据较强和较弱的两组人类想法,并测试六个大模型评审器。

研究发现,提示词中少量措辞变化就会显著改变同一模型的判断;在人类与模型生成想法的比较中,一位专家复核的30对样本里全部倾向人类想法。对正在使用模型筛选研究方向的团队,这提醒评审器本身也需要评测,不能只看它给出的分数。

Hugging Face|2026-10-27

补充原始资料

补充原始资料

采集说明 · 采集不完整 · 39/51 个来源完成检查

采集不完整。05:00上游初采计划51源,43源完整、7源部分、1源失败;06:00前本机补查最后一小时后,按最终窗口计39源完整、11源部分、1源失败。欧盟数字战略页访问被拒,OpenReview停在浏览器验证页,arXiv公告切片仍为部分覆盖。

资讯源目录364条(新闻类156条、论文208条),按10月26日18:00起重筛并移出33条早于起点的初采条目。目录多数为标题级收录,不等于全文核验或事实背书;数量达标不代表来源覆盖完整。

05:00—06:00的脚本可采来源与36氪、量子位均未见新的AI原文;部分浏览器来源这一小时未复查,不写成无更新。论文按arXiv公告时间与原提交时间分开记录。话语场两段为历史访谈,注明原日期,不计入36小时目录。

检查尚未完成的来源:下列状态表示检查缺口,不能据此认定近期无更新;“已完整检查且无新增”另行记录。

  • xAI:已检查部分内容,覆盖或日期待核。静态 HTML 含 <time dateTime> 卡片,WebFetch 渲染结果一致。窗口内可见 Product · Oct 27, 2026《Your next sales teammate should be a Grok Bot》(https://x.ai/news/grok-bot-sales),只有日期。其后列表为 Oct 22 Partner Network、Oct 20 incident-sweep、Oct 14 Grok Voice 3.0,早于窗口起点。日精度 Oct 27 跨过 21:00Z 右边界,不计入严格目录。headless Chrome 被 Cloudflare 拦截,但静态时间标签与渲染列表一致。未读正文。;06:00终审:05:00初采ok;最后一小时本机pending
  • Qwen:已检查部分内容,覆盖或日期待核。浏览器渲染 https://qwen.ai/research。可见研究卡片最新为 2026/09/20 Qwen-Image-2.1(图文生成与编辑),其次 2026/09/18 Qwen3.8-LiveTranslate,2026/09/03 的智能体评测说明。页面无 2026/10 日期。/api/page_config 仍为 HTTP 500。旧站 qwenlm.github.io 最新 2025-09-23,不作为无更新证据。未读正文。;06:00终审:05:00初采ok;最后一小时本机pending
  • DeepSeek:已检查部分内容,覆盖或日期待核。带尾斜杠 https://api-docs.deepseek.com/updates/ 标题 Change Log,最新 Date: 2026-10-17,早于窗口。GitHub deepseek-ai 按 pushed 排序的近期仓库没有落在窗口内的 release;窗口内若有 push 只记提交活动。产品页未逐一核到带日期公告,整源 partial。未读正文。
  • 阶跃星辰 StepFun:已检查部分内容,覆盖或日期待核。https://www.stepfun.com/ HTTP 200,静态页约 1954 字节且无发布日期。浏览器渲染可见 Step 5 Preview 文案,仍无日期。不能证明窗口覆盖。未读正文。
  • European Commission Digital Strategy:访问或抓取失败。https://digital-strategy.ec.europa.eu/en/news urllib HTTP 403。不是窗口内无更新。
  • arXiv cs.AI / cs.LG / cs.CL:已检查部分内容,覆盖或日期待核。export.arxiv.org 按 submittedDate 倒序翻到越过窗口起点。公告时间 published 最新 2026-10-26T17:59:44+00:00(Retriever-Free Retrieval: Navigating Documents with Decision Models),窗口内已公告 231 篇,最早一批已到窗口起点之前。自该最新公告至 --until 2026-10-27T21:00:00Z 的未公告切片 API 不可见,整源 partial,不能标 ok。未读全文。
  • OpenReview:已检查部分内容,覆盖或日期待核。浏览器打开 https://openreview.net/group?id=TMLR 得到验证页(Verifying your browser),没有带投稿时间的列表。api2 notes?content.venueid=TMLR 结果:HTTPError: HTTP Error 403: Forbidden。未写明完整扫描时间范围,整源 partial。
  • 字节跳动 Seed·博客与论文:已检查部分内容,覆盖或日期待核。浏览器渲染 https://seed.bytedance.com/en/research。Blog & Publication 可见 Oct 25, 2026 的 Recycler(https://seed.bytedance.com/en/public_papers/recycler-cost-free-latent-reasoning-via-hidden-state-recycling),以及 Sep 28 和更早日期。Oct 25 整日早于窗口起点。模型分类页未逐类打开,整源 partial。未读论文。
  • MiniMax·News & Updates:已检查部分内容,覆盖或日期待核。浏览器渲染 https://www.minimax.io/news。新闻按新到旧,最新 MiniMax|Japanese IP, Ready for the Global AI Era(Oct 12, 2026),其后 Aug 26、Aug 3、May 22,均早于窗口。schema dateModified 2026-10-27T21:20:41Z 是页面修改时间,不是新闻发布时间。导航中的模型页未逐一核到带日期文章,整源 partial。未读正文。
  • Ars Technica:已检查部分内容,覆盖或日期待核。feed HTTP 200,共 20 条,最新 2026-10-27T18:49:08+00:00,最旧 2026-10-19T16:59:22+00:00,已越过窗口起点;窗口内 6 条。未读正文。;06:00终审:05:00初采ok;最后一小时本机failed
  • MIT Technology Review:已检查部分内容,覆盖或日期待核。feed HTTP 200,共 10 条,最新 2026-10-27T12:10:00+00:00,最旧 2026-10-22T18:48:04+00:00,已越过窗口起点;窗口内 6 条。话题 feed 10 条最旧 2026-10-20,也已越过窗口起点。以覆盖窗口的官方 feed 为证据。未读正文。;06:00终审:05:00初采ok;最后一小时本机pending
  • Hacker News:已检查部分内容,覆盖或日期待核。首页 RSS 不能代表 36 小时。Algolia search_by_date nbHits=1871,接口页数上限取回 1000 条,关键词命中 296 条。其余约 871 条未取回,整源 partial。讨论时间不是原文发布时间,不进严格目录。

来源核验不等于独立实测;论文阅读范围按各条说明,未复现。

资讯源 364 条

新闻资讯 · 155 条

论文速递 · 208 条

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