论文速读

← 回到今天

第 36 周(08.31 – 09.06)· 192 篇论文 · 2 个必读事件。 按周回看用,日常请只看首页或今天的 3 篇。

本周必读

★ 509-05量子位相关:Anthropic·Claude·Harness·费马大定理

Claude完成费马大定理首个完整形式化证明

问题
费马大定理此前缺乏完整形式化证明。
方法
由姚班校友主导,用Claude完成首个完整形式化证明,最后靠Harness工具收尾。
结果
未给出量化结果
影响
证明LLM可辅助高难度数学形式化,推动AI数学工具链发展。
读原文 收藏后可在「我的收藏」回看
Claude费马大定理形式化证明姚班
58 天前入库
★ 509-02量子位相关:李飞飞·多模态世界模型·具身智能

李飞飞发布全球首个多模态世界模型

问题
缺乏能从单张图片补全3D世界并生成机器人训练环境的多模态模型。
方法
发布全球首个多模态世界模型,用一张图补全3D世界并造训练场。
结果
未给出量化结果
影响
有望推动具身智能与机器人训练,降低仿真环境构建成本。
读原文 收藏后可在「我的收藏」回看
李飞飞多模态世界模型3D重建
61 天前入库

本周值得关注

按重要度与信号排序

提醒工程师:答案正确不等于推理可靠,数学类任务需审查过程而非只看结果。

★ 409-05量子位相关:OpenAI·GPT-6·陶哲轩·孪生素数
陶哲轩GPT-6数学推理读原文

图表与上下文联合推理仍是明显短板,产品做文档问答需谨慎评估多跳场景。

★ 409-03arXiv cs.AIcs.CL相关:DocHop·MLLM·多跳推理
多模态基准测试多跳推理文档理解读原文

为模型安全选型和合规审计提供可复用的横向对比与时间追踪工具,安全评估不再各说各话。

★ 409-03arXiv cs.AIcs.CL相关:DeepSeek·Claude·GPT
AI安全危险能力评估框架大模型读原文

说明现有安全训练泛化不足,产品侧需按语义而非表面形式做防护,单靠对齐挡不住这类请求。

★ 409-03arXiv cs.AIcs.CL相关:ArtPrompt
AI安全越狱攻击ASCII艺术大模型读原文

提示做自动提示优化/自改进流水线时,必须加确定性护栏,否则指标提升可能是奖励黑客。

★ 409-03arXiv cs.AIcs.AI相关:Oracle·PROCTOR
智能体评估奖励黑客确定性护栏读原文

推理架构变化可能带来新的安全与可解释性风险,关注OpenAI模型路线的人需留意。

★ 409-03TechCrunch AIOpenAI相关:OpenAI·Astra
OpenAI推理AI安全Astra读原文

为超大规模数据平台提供可参考的工程方案,做数据基础设施的团队值得一看。

★ 409-02量子位Ant Group相关:Ant Group·OmniTable·VLDB
蚂蚁集团OmniTableVLDB大数据读原文

给出长时程任务失败的纯记账式归因方法,做Agent长链路可靠性的团队可据此定位误差来源。

★ 409-02arXiv cs.AIcs.CL相关:gpt-oss-120b·MD5
长时程任务状态追踪工具调用MD5读原文

本周论文

按时间倒序 · 本周共 192 篇

只显示最近 24 篇;更早的论文可按主题或事件线索查看。

往期

论文按站内重要度与可验证信号排序,四段速读由 AI 依据摘要与正文片段生成,可能有误;关键结论请以原文为准。按主题看研究脉络 →

AI 论文速读:每天 3 篇值得读的论文 - 智讯 AI News