AI 日报

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

行业洞见

深度分析
2026-10-15(历史访谈)

陶哲轩:证明多了,理解却没有跟上

陶哲轩是菲尔兹奖得主、加州大学洛杉矶分校数学教授,长期倡导用Lean等形式化证明系统开展人机协作。这段访谈出自科普数学频道Numberphile,标题为《No More Heroes》,话语场记录的日期为2026年10月15日。

主持人问到10月初OpenAI发布数百个证明一事,陶哲轩说,数学正从“证明稀缺”走向“证明充裕”:机器能替人得出证明,人却淹没在证明里,得不到过去那么多理解,就像从食物匮乏的年代进入合成食品泛滥的年代。他还认为,一味优化科技公司的目标,会偏离数学共同体真正想要的东西,比如理解、传承和提出新问题。这是半个月前的观点,不是对奥特曼最新访谈的回应;但两相对照,正好是今天这场争论的两端。

AI话语场 · Numberphile|2026-10-15(历史访谈)

来源:AI话语场 · Numberphile · 2026-10-15(历史访谈) · 已上线话语场页的摘录、编辑导览与原片链接;完整原片未核读

📄

论文速递

1 篇论文
01论文:把预训练到强化学习统一成同一种训练算法
论文:把预训练到强化学习统一成同一种训练算法2026-10-29提交arXiv v1arXiv摘要页;预印本,正文未核读,未复现

这篇2026年10月29日提交arXiv的预印本(2610.40564 v1)提出,基础模型从预训练、中期训练、监督微调到强化学习分阶段换算法,并非必要。作者把强化学习目标推导为对模型自身生成的目标分布做最大似然拟合,从而把各阶段都纳入同一种基于似然的“统一训练”;训练过程于是变成选择用哪些数据、按什么比例、在什么时候训练,传统分阶段训练只是其中特例。作者报告,统一训练改善了准确率与算力的权衡和任务覆盖,并为持续学习提供更好起点。阅读范围为摘要,尚未经同行评审。

arXiv|2026-10-29提交arXiv v1

arXiv →
⭐

开源解读

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

量子位报道,SoMarkAI开源了参数量1.3B的文档解析模型OXR,可把表格、公式、代码块、化学方程式等转成结构化Markdown和LaTeX。按发布方公布的成绩,它在OmniDocBench得97.18、olmOCR-Bench得87.84、DocParsingBench得87.76,均列第一,评测代码一并开源。团队称主要靠后训练中的自我改进:文档解析有客观标准答案,可自动判对错。模型未运行,许可证未核。

量子位|2026-10-30

补充原始资料

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

采集不完整。本期复用05:00上游初采收据,并补查06:00前最后一小时:计划50源,最终窗口35源完整、15源部分、0源失败;核心源未达完整:xai、arxiv。xAI页面被Cloudflare拦截;StepFun、Mistral、UNESCO、网信办、ByteDance Seed、MiniMax、OpenReview只部分检查;部分来源05:00后的最后一小时未能补查,均不写成无更新。arXiv未覆盖最新公告,论文栏只读了一篇预印本的摘要。Ars Technica原文无法打开,相关条目依据其订阅源摘要。

资讯源目录93条,按10月29日18:00起的36小时窗口筛选,并与前7期公开目录按规范链接去重。目录多数为标题级收录,不等于全文核验或事实背书;数量达标不代表来源覆盖完整。话语场为历史访谈,注明原日期,不计入36小时目录。本期准备晚于原定时间开始,公开时间晚于07:00目标。

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

  • xAI:已检查部分内容,覆盖或日期待核。headless Chrome 打开 https://x.ai/news 得到 Cloudflare “Sorry, you have been blocked”(Ray ID a52da185dc5a20b2)。没有带日期的新闻卡片。静态拦截页不能证明窗口内无更新。核心源 partial。 收据条目 0。
  • 阶跃星辰 StepFun:已检查部分内容,覆盖或日期待核。https://www.stepfun.com/ HTTP 200,页面抽不到日期,不能判断窗口内有无更新。partial。 收据条目 0。
  • Mistral:已检查部分内容,覆盖或日期待核。脚本在新闻页抽到最新日期 2026-10-29,但窗口命中的条目没有标题和可用链接。未打开对应正文,不能把空命中当成已覆盖。partial。 收据条目 0。
  • UNESCO AI:已检查部分内容,覆盖或日期待核。页面抽到 2026-10-29 一处日期,但没有对应标题和链接。未打开正文。partial。 收据条目 0。
  • arXiv cs.AI / cs.LG / cs.CL:已检查部分内容,覆盖或日期待核。export.arxiv.org 按 submittedDate 倒序,最新 published 为 2026-10-29T17:59:53Z(Elucidating the Design Space of LM Data Attribution,2610.40655)。分类查询 submittedDate:[202610290900 TO 202610302100] 的 totalResults:cs.AI 111、cs.LG 110、cs.CL 55,彼此重叠,未逐页拉全量去重。这些已公告论文的 published 落在窗口内,但自 2026-10-29T17:59:53Z 至 --until 2026-10-30T21:00:00Z 的未公告切片 API 不可见。整源 partial,不能标 ok。公开目录不灌入该公告全量,只保留 HF Daily Papers 中 arXiv published 落入窗口的论文。未读全文。 收据条目 0。
  • OpenReview:已检查部分内容,覆盖或日期待核。浏览器打开首页。新闻最新为 2026-09-24 的 ICLR 2027 投稿暴露声明,早于窗口。Active Venues 含 TMLR 等,Open for Submissions 只见截止日期(例如 AIAL Symposium 2026 Due 30 Oct 2026 22:00 UTC),没有投稿创建时间。api2 notes 查询返回 ChallengeRequiredError 403。未扫到带投稿时间的 venue 列表。partial。 收据条目 0。
  • 国家网信办·网信发布(AI 相关):已检查部分内容,覆盖或日期待核。脚本把 2026-10-30 / 2026-10-29 配到“热点专题”导航链接,不是公告正文。本轮没有逐条打开网信发布正文核对 AI 相关公告。partial,不能当成无 AI 政策更新。 收据条目 0。
  • 字节跳动 Seed·博客与论文:已检查部分内容,覆盖或日期待核。浏览器渲染 https://seed.bytedance.com/research。博客最新 Aug 5, 2026(SeedRealtime),论文列表最新 Oct 25, 2026(Recycler)。都早于窗口。模型分类(Foundation / Visual / Audio 等)未逐类打开,按来源说明不能把研究列表当成全站完整更新流。partial。 收据条目 0。
  • MiniMax·News & Updates:已检查部分内容,覆盖或日期待核。浏览器渲染 https://www.minimax.io/news。新闻卡片按日期排列,最新 Oct 12, 2026(Japanese IP),其后 Aug 26 与更早,并可见到 Mar 26, 2026,新闻入口已越过窗口起点,窗口内 0。导航里的 M3.1 Flash、H3、Speech 2.8、Music 3.0 文章页未逐一打开,不能据此说全部产品无更新。partial。dateModified 不是稿件日期。 收据条目 0。
  • The Verge:已检查部分内容,覆盖或日期待核。栏目 RSS 只有 10 条,最旧 2026-10-29T18:45:31Z,仍晚于窗口起点 2026-10-29T09:00:00Z。09:00Z 至 18:45Z 的切片未覆盖。已见条目按原文时间保留。未读全文。 收据条目 10。
  • Hacker News:已检查部分内容,覆盖或日期待核。首页 RSS 不能代表 36 小时。Algolia search_by_date tags=story 在窗口内 nbHits=1890,本轮只取了计数,没有把讨论时间核成原文发布时间,也没有读完其余命中。讨论时间不进严格目录。partial。 收据条目 27。

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

资讯源 90 条

新闻资讯 · 86 条

论文速递 · 2 条

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