跳到正文
10月28日周三
  1. Hacker News61

    Lexifina 用 Git 式版本管理重建美国法典历史

    Lexifina 以 Git 式版本点重放公法修订,重建了 2017 年以来美国法典的历史版本,并记录每项变更的来源法律和生效日期。对 365 处改动,361 处与下一版本点完全一致,其余 4 处标注了可确认程度。该记录面向大语言模型驱动的法律检索,支持按日期查看有效条文并追踪定义术语和条款变化,但尚不显示后续法律对更早日期的追溯适用。

    推荐理由:以 Git 式版本点保存法条文本、修订来源和生效日期,为法律检索和大语言模型历史法条问答提供可核验的时间线方法。

  2. HF Daily Papers35

    LociArt 提出统一范式实现自由风格局部视频风格化

    LociArt 提出统一范式,通过生成式细化网络实现自由风格的局部视频风格化,并保持非目标内容与较强的时间一致性。GRNStyle 引入极坐标风格感知掩码及表示—几何条件控制,结合自动化数据管线构建包含 100K 个局部风格化配对的 LociArt-100K Dataset。

    推荐理由:LociArt 将区域风格控制、自动化配对数据构建与专用基准整合到统一框架,便于对照评估局部风格化质量、非目标保留和时序稳定性。

  3. Hacker News48

    BettaScore 发现 Reddit 用户提及可靠性的比例约为 YouTube 评测的两倍

    BettaScore 对比 YouTube 评测与 Reddit 用户讨论,14 类产品中可靠性相关意见占比为 7.8% 对 17.0%,约为两倍。除网球发球机外的 13 个品类中,用户更常提及可靠性,其应用、软件和连接问题负面意见占比为 71%,评测意见为 21%。作者强调,这些比例反映用户担忧,而非实际故障发生率。

    推荐理由:用 YouTube 评测与 Reddit 用户讨论的同口径数据对照可靠性和软件体验,呈现评测周期与样本偏差对选购判断的影响。

  4. The Verge · AI86

    研究人员对 OpenAI 管控突破成果发布愈发不满

    OpenAI 宣布三项涉及数学、计算机科学和物理的 AI 生成成果,但差异化披露和专家优先获取引发研究人员不满。数学输出已经公开,计算机科学结果将由外部研究小组协助解释,物理材料则暂缓发布。受访专家称成果可能重大,AGMAI 则根据 OpenAI 的说法指出,物理结果对应的 Lean 形式化已经完成,要求立即公开相关自然语言与 Lean 输出以支持开放验证。

    推荐理由:文章对比三项成果的不同披露路径,呈现专家优先获取与延迟公开的争议,以及开放验证对学界参与的影响。

  5. Hacker News77

    Anthropic 公布 Claude 加速药物研发的早期研究进展

    Anthropic 介绍了 Claude 加速药物研发的早期进展,包括与六家机构的合作、自有药物发现项目及多个临床前案例。Claude 约 1 个月生成 35,000 个抗体设计,BigHat 实验室约 10 周测试约 1,010 个变体,Enveda 将 1,061 页文档的人工审阅时间从 25 小时以上降至 3 小时以内。

    推荐理由:六家合作案例覆盖分子设计、先导优化、生产和监管文件,并给出实验数据与临床前边界,便于评估 Claude 嵌入药物研发流程的范围。

  6. Ars Technica · AI60

    Pinal 用自然语言设计蛋白质,Carbon X 实现 DNA 与英文互译

    研究团队推出 Pinal,用自然语言生成蛋白质设计;Hugging Face 等团队发布开放权重模型 Carbon X,可在本地运行并处理 DNA 与英文。Pinal 通过 T2struct 生成结构 token,再由 SAProt-T 补全氨基酸序列;在 GFP 类荧光蛋白测试中,50,000 个候选经筛选后有 29 个在 E. coli 中表达,最终仅 1 个成功发光。

    推荐理由:Pinal 与 Carbon X 展示了自然语言进入生物序列设计的不同路径,并用实验成功率、长序列定位和本地运行条件呈现落地限制。

  7. HF Daily Papers48

    WeVisCut:单智能体统筹从旁白到长视频的完整剪辑流程

    WeVisCut 研究提出一套脚本转长视频系统,用单一 9B 策略协调视频编辑工具、维护共享制作状态并恢复失败。四阶段数据管线结合编辑反演与验证回放,基于 3,750 个成片生成超过 130K 个训练样本,并提出 100 项任务和 5 项指标。

    推荐理由:该研究把长视频编辑决策、故障恢复与 token 成本纳入同一 9B 策略,呈现任务专用智能体在质量与效率上的取舍。

  8. HF Daily Papers42

    A-RSI:通过自适应任务刷新实现零数据多模态自我改进

    A-RSI 在学习信号下降时刷新训练任务,并用由程序生成且可独立验证的答案提升模型的递归自我改进效果。方法依据训练日志中的奖励波动与准确率更新任务池,不参考验证集或测试集成绩,也不使用外部训练样本或人工答案标签。在主要十一项基准测试套件中,加入 800 个新任务后,性能平均值从 57.77 提升至 61.05。

    推荐理由:论文将任务刷新与答案验证拆分,依据训练日志更新任务池,展示了无外部标签的多模态自我改进方法及基准结果。

  9. HF Daily Papers47

    AskStream 基准:流式视频理解在不确定性下何时主动提问、问什么

    研究团队提出 AskStream 多轮基准,用于评估流式视频理解模型在不确定性下主动询问缺失信息的能力。该基准覆盖视频和用户两类不确定性,包含 4 类任务、8 个子任务、438 个视频及 2,714 个人工标注的帧级时间窗口,动作分为等待、提问和回答。在选择题和开放式设置中,最强模型的 Ask-F1 也仅为 52.18%,反映出模型主动寻求信息能力的局限。

    推荐理由:AskStream 将流式视频交互拆分为等待、提问和回答三类动作,并用多轮数据呈现模型主动补全信息的关键难点。

  10. HF Daily Papers49

    IntReal 提出真实场景多模态交错生成数据集与评测基准

    IntReal 提出面向真实场景的多模态交错生成数据集与评测套件,用于诊断统一多模态模型的能力差异。IntReal-100K 覆盖四大类交错样本,IntReal Evaluation Suite 通过专家模型从七个维度进行粗到细评估。

    推荐理由:IntReal 以细粒度指标定位统一多模态模型在不同能力维度的强弱项,配套数据可用于针对性后训练与改进交错生成。

  11. HF Daily Papers54

    Soft-MTP 通过 KL 梯度恢复改进多 Token 预测

    Soft-MTP 通过 KL 梯度恢复移除多 Token 预测中的噪声残差,在不增加参数且无可测开销下改善困惑度、推测解码与推理表现。该方法支持 DeepSeek 和 Meta 风格的 MTP;在 167M 至 1.2B 参数规模上,相比标准 MTP 获得更低的 NTP 困惑度、更快的推测解码和更高的 zero-shot 准确率,1.2B 模型微调后的数学与代码推理也更强。

    推荐理由:论文将标准 MTP 梯度拆为 KL 自蒸馏信号与噪声残差,并给出兼容现有训练内核的一行代码改法,为多 Token 训练提供低开销路径。

  12. HF Daily Papers47

    Investor's Last Exam:AI 智能体能在看不到未来时完成股票投资吗?

    研究团队提出 Investor's Last Exam(ILE)基准,评估 AI 智能体能否仅凭决策时证据完成端到端股票投资研究。其版本化金融数据库覆盖 3.43 million 个文档版本和 9 类来源,以经验证的时间戳约束检索与计算,并通过金融依赖图关联评分标准、来源、计算与假设,在 86 assignments 上联合评估研究质量、预测准确率和模拟投资表现。

    推荐理由:ILE以冻结信息集、专家标准和金融依赖图拆解端到端投研链路,可定位模型从研究能力走向预测与投资判断时的断点。

  13. TechCrunch81

    OpenAI 与 Anthropic 称 AI 模型推翻指数时间假说(ETH),学界如何解读

    OpenAI 与 Anthropic 分别发布由 AI 模型给出的证明,并声称这些结果推翻了指数时间假说(ETH),相关主张正引发学界讨论。OpenAI 针对数学、计算机科学和物理学采取不同流程,数学证明先发布到 GitHub,计算机科学界成立工作组并要求公开证明,物理学界的发布方式仍待工作组决定。

    推荐理由:文章梳理AI若有效推翻ETH后,可能对依赖该假说的既有论文、密码系统安全、AI证明审查方式及学界公开协作规范产生的具体影响。

  14. Hacker News27

    1972年论文《组合问题之间的可归约性》

    Hacker News 用户 liamswayne 分享了1972年论文《组合问题之间的可归约性》的 PDF,链接为 https://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf。当前 feed 仅提供标题、链接和评论信息,未包含论文正文或摘要。

10月27日周二
  1. The Decoder81

    OpenAI 邀请外部专家核查 AI 生成的数学、计算机科学与物理证明

    OpenAI 邀请包括诺贝尔奖得主在内的外部专家,核查其 AI 在数学、计算机科学和物理领域生成的证明。OpenAI 称成果包括证明 ETH 为假、在所有维度证明局部平滑猜想,以及证明某些四维量子场论存在;数学和计算机科学证明已转为 Lean。Yang-Mills 结果仅声称解决存在问题而未证明质量间隙,物理团队暂时保留相关材料,独立核查者也明确表示参与不等于背书。

    推荐理由:文章把三类证明的外部核查流程、Lean 验证边界和材料开放安排并列呈现,为理解 AI 科学发现的审查路径提供具体参照。

  2. 量子位45

    小米披露基于1827个工厂SOP验证的21自由度仿生灵巧手技术成果

    小米披露基于汽车工厂1827个标准作业程序(SOP)验证的21自由度仿生灵巧手技术成果,并给出不同自由度的抓握表现比较。基于真实作业数据的仿真消融分析显示,17~21自由度的平均稳定抓握成功率较6~15自由度提升15%~38%,其中21自由度在工厂操作覆盖度和抓握成功率上提升最大,继续提升至23自由度及以上时边际收益下降。

    推荐理由:基于1827个工厂SOP比较不同自由度的抓握表现,并指出23自由度以上收益放缓,便于理解灵巧手的设计取舍。

  3. HF Daily Papers43

    S3AC:面向 LLM 推理的稳定、选择性、可扩展 Actor-Critic 方法

    S3AC 提出一种稳定化的 Actor-Critic 训练方法,通过难度感知提示词采样改进大语言模型的长链式推理,并减少对分组 rollout 的依赖。训练后的 critic 提供 token 级优势和提示词特定基线,DAPS 再结合难度估计与历史结果,在生成前选择提示词,以减少 rollout 浪费且无需离线难度初始化。

    推荐理由:论文将 critic 训练、token 级信用分配与难度感知采样整合,并用多规模模型和单 rollout 对比呈现方法收益。

  4. HF Daily Papers34

    大模型时代可信递归自我改进综述:基础、风险、评估与开放挑战

    大模型时代可信递归自我改进综述定义了RSI,并提出改进有效性、约束保持与有效监督三类流程要求。框架覆盖改进诊断、方案生成、方案评估和更新实施(S1--S4),同时纳入改进机制自身的递归更新。综述还梳理单次更新、继承风险与安全隐私问题,指出评估失真、能力退化和人工监督失效等风险及独立长期评估需求。

  5. Hacker News17

    论文声称 ETH 为假并给出简化证明

    该论文声称 ETH 为假,并给出一份简化证明,标题为“A simplified proof of ETH is False”。PDF 链接为 https://shivakintali.github.io/papers/ETH.pdf;当前材料未提供正文、作者名单或具体推导。

  6. HF Daily Papers47

    《Work Agents》论文提出工作智能体的系统、能力与优化统一框架

    《Work Agents》论文提出面向数字工作的智能体统一框架,将基础模型与运行时框架结合,用于在有状态工作空间中执行任务并交付可验证结果。论文以工作持久性和工作开放性刻画工作条件,将数字工作按任务范围与组织方式分为五类,识别五类核心能力,并分析模型优化、运行时框架优化及联合优化。论文还从工作结果角度梳理现有评测方法与指标,展望持续工作委托、开放环境适应,以及工作执行与能力提升之间的交互。

    推荐理由:论文以统一系统视角串联工作智能体的能力、优化与评测,并明确工作持久性和开放性两个分析维度,便于梳理相关研究框架。

  7. 36氪44

    小米披露基于1827个工厂SOP验证的21自由度仿生灵巧手

    小米机器人团队基于汽车工厂1827个标准作业程序(SOP)完成数据采集与分析验证,设计了全新21自由度仿生灵巧手。该灵巧手采用混合驱动与腱绳张力控制方案,实现精准抓握力控并提升可靠性与可维护性,团队还系统优化了散热体系和全掌触觉。

    同一件事,精选收录的是《小米披露基于1827个工厂SOP验证的21自由度仿生灵巧手技术成果》

  8. HF Daily Papers41

    StreamVibe:面向持续变化用户意图的主动视频智能体

    StreamVibe 提出面向主动视频交互的研究方案,包含基准、流式视觉语言模型和分层记忆框架,用于理解显式、隐式及持续变化的用户意图。StreamVibe-Bench 包含 4.1K 个评测样本和 85K 个训练样本,覆盖显式、隐式和动态意图。

    推荐理由:论文将基准、流式模型与分层记忆框架整合为一套主动视频交互方案,并报告响应时机、答案质量和持续适应方面的量化结果。

  9. 36氪68

    OpenAI宣布在数学、计算机科学与物理学领域取得三项新发现

    OpenAI宣布在数学、计算机科学和物理学领域取得三项新发现,涉及调和分析、复杂性理论和量子场论。OpenAI正与学术界合作尝试一种新方法,并联系外部专家担任引导者,组织团队理解研究结果。参与该过程自愿且无报酬,无须签署保密协议,可自由讨论工作、分享中间成果并发表结论;OpenAI不会为内部模型产生的这些发现寻求学术署名。

  10. The Verge · AI81

    OpenAI 公布三项科学发现及外部专家引导的学术协作机制

    OpenAI 公布数学、计算机科学与物理三项研究输出,分别主张证明波动方程局部平滑、否定 ETH,以及给出含规范场与费米子的四维相互作用量子场论存在性证明。数学结果使用辅助偏微分方程,并涉及 Kakeya 与 Stein 估计;计算机科学结果给出在次指数时间和多项式空间内精确计数固定宽度 CNF 公式满足赋值的确定性算法,文中称 3-SAT 情形可反驳 ETH。

    推荐理由:材料不仅列出三项研究输出,还呈现外部专家引导验证的协作方式及优先获取机制引发的学术流程争议。

  11. HF Daily Papers38

    FrameForge 利用视频基础模型先验实现统一条件图像生成

    FrameForge 动态选择不同虚拟间隔的时序 RoPE 专家,并通过潜在中间状态建模条件到目标的变换,实现统一条件图像生成。该方法以 Mixture of Temporal Experts(MoTE)和 Chain of Temporal Reasoning(CoTR)分别建模条件与目标的时序距离及变换路径,建立在预训练视频模型之上。

    推荐理由:FrameForge 将视频模型的动态时序先验用于统一条件图像生成,并用 MoTE、CoTR 和三项基准对比展示多任务表现。

  12. HF Daily Papers52

    LOWN:仅在需要时处理图像,面向扩散视觉语言模型高效解码的证书引导视觉路由

    论文提出 LOWN 解码方法,在无图像预测与上一次图像条件预测一致时跳过图像处理,并用经认证的 token 数量决定该步解掩码数量。该方法无需训练或调节阈值,在 10 个基准上保留 LLaDA-V 得分的 99.6%,平均使用 35.3% 的解码 FLOPs。

    推荐理由:论文量化了扩散视觉语言模型重复处理图像的开销,并用证书引导路由在无需训练和阈值调节的条件下削减解码计算。

  13. HF Daily Papers55

    Venus-DefakerOne2:覆盖更广伪造形式与媒体类型的视觉取证基础模型

    论文提出 Venus-DefakerOne2 统一反伪造基础模型,通过交替 LoRA 与全参数微调、基于熵的测试适配,扩展对多种伪造形式和媒体类型的检测。

    推荐理由:交替 LoRA 与全参数微调结合熵驱动测试适配,为跨图像、视频和物理欺骗的统一取证提供了可复用设计。

  14. HF Daily Papers59

    Timestral 提出四款时间序列基础模型并报告三项基准评测结果

    Timestral 论文提出一个用于概率预测的时间序列基础模型家族,包含 5M、28M、123M 和 209M 四种参数规模。Timestral-209M 与 Timestral-123M 在 GIFT-Eval、TIME 和 fev-bench 的每项指标上均位居前两位。

    推荐理由:论文给出解耦预测范围、未来协变量支持以及先合成预训练再混合后训练三项设计,为时间序列基础模型构建提供可复用方法。

  15. HF Daily Papers47

    WorkFactory 通过信息规划与修复构建职业任务,训练 WorkPilot 智能体模型

    WorkFactory 通过信息规划和探测修复构建 112,686 个可执行职业任务,并用收集到的教师轨迹微调 Qwen,产出 WorkPilot 智能体模型。

    推荐理由:信息规划、探测执行与修复形成了一套可迁移的任务构造方法,多种模型规模的实验结果可用于比较监督训练的收益与规模效应。

  16. HF Daily Papers41

    TAO 论文提出面向 LLM 智能体服务的工具感知联合调度框架

    TAO 论文提出一种面向 LLM 智能体服务的工具感知联合调度框架,通过动态规划在容量约束下联合选择并部署等待会话。框架综合近期工具就绪度、带时间感知衰减的节点缓存额度与 token footprint,避免现有系统忽略工具返回就绪和启发式调度造成的资源浪费。

    推荐理由:论文将工具就绪状态纳入联合调度,并以动态规划替代启发式决策,便于理解智能体服务在延迟与吞吐上的优化路径。

  17. The Decoder62

    纽约大学与德克萨斯大学奥斯汀分校发现六类令 AI 文本难读的语言模式

    纽约大学与德克萨斯大学奥斯汀分校团队通过跨模型语料对比,发现 AI 模型过度使用六类会让人类阅读费力的语言结构,包括罕见词组、关联成分远置、连接词省略、名词堆叠、把名词用作动词和给无生命主语配生命动词。

    推荐理由:研究用六类语言结构对比模型与人类文本,并结合短答案惩罚实验分析可读性差异,为模型写作风格优化提供具体线索。

  18. OpenAI News53

    OpenAI Signals 展示 ChatGPT 在 165 类工作活动中的使用变化

    OpenAI 通过 Signals 数据展示 ChatGPT 在 165 类工作活动中的应用,以及使用情况如何随时间变化。数据覆盖近 100 个国家,呈现人们在工作中使用 ChatGPT 的方式。原文链接:https://openai.com/index/chatgpt-expanding-world-of-work

    推荐理由:OpenAI Signals涵盖165类工作活动及近100个国家,可为观察ChatGPT在工作场景中的使用方式与时间变化提供数据视角。

10月26日周一
  1. Hacker News53

    布朗大学学生 Ma 绘制全球 AI 数据劳动地图

    布朗大学学生 Ma 用“权力映射”绘制全球 AI 数据劳动地图,当前串联 13 家数据标注公司、141 个企业客户和 31 个国家的数据工人站点。地图以标注企业交付中心作为数据工人所在地代理,呈现企业将标注工作外包给 Global South 廉价劳动力的链条;Ma 将其视为 AI 殖民主义的体现。该地图并非完整覆盖,但可作为公共教育工具,未来或用于帮助数据工人识别彼此并组织起来。

    推荐理由:这张地图以数据标注企业的交付中心作为数据工人所在地代理,串联 13 家标注公司与 141 个企业客户,呈现 AI 劳动的隐性权力结构。

  2. 量子位75

    OpenAI禁止前沿模型训练时访问真实互联网

    OpenAI宣布实施新的前沿模型训练安全政策,禁止训练中的模型访问真实互联网,转而使用预先索引和缓存网页构成的离线环境。OpenAI同时采用沙箱、轻量虚拟机、监测系统及网络和云端访问限制,并安排GPT-6 Astra Cyber与内部前沿模型开展红队测试。测试模型通过漏洞组合逃出虚拟机并获得有限的外部访问权限,数千亿Token的测试成本相当于数千万元人民币。

  3. 36氪62

    Rockbridge Network Korea报告:韩国开发者的Hugging Face模型中,千问(Qwen)占46.8%

    Rockbridge Network Korea报告显示,2026年1至8月,韩国开发者在Hugging Face发布的1845个模型中,49.3%基于中国模型,千问(Qwen)占46.8%。美国模型占35.9%,韩国本土模型占14.9%。

    推荐理由:报告按1845个Hugging Face模型拆分底座来源,可直接比较中国、美国与韩国本土模型在韩国开发者发布中的占比。

  4. Hacker News37

    《注意力并非你所需要》(2025):基于Grassmann流的无注意力架构

    论文《Attention Is Not What You Need》提出基于Grassmann流的无注意力架构,以Causal Grassmann层将局部token对编码为二维子空间,替代L×L显式自注意力矩阵。

    推荐理由:论文以同规模Transformer为对照,报告Wikitext-2困惑度、SNLI准确率及固定秩下的线性扩展特性,为评估无注意力架构提供量化依据。