跳到正文
今天11月12日周四8 条
  1. Hacker News:AI 热帖61

    Enspirit 开源代码审查工具 Revu:用 scopes 帮人读 Agent 写的代码库

    Enspirit 发布开源工具 Revu(MIT 协议,npm install -g @enspirit/revu),为阅读 Agent 生成的代码库提供浏览器界面:左侧按 scopes(如最近提交、最长文档、无测试覆盖等)组织文件,中间读源码,右侧按行添加带 must-fix、question、scope 标签的备注并导出为一份 markdown。

  2. Hacker News:AI 热帖52

    Dedoomify 上线:把 AI 新闻中的末日表述改写成软件问题口吻

    作者推出开源工具 Dedoomify,粘贴任意 AI 新闻链接即可把「模型对齐失效」等末日式表述改写成「模型有 bug」这类普通软件问题口吻。每处改写都会高亮,悬停或点击可查看原文;可用快捷短语规则运行,也可通过 WebGPU 在浏览器中调用本地 AI 模型,代码开源于 GitHub。

11月11日周三
11月10日周二
  1. Google DeepMind77

    Google DeepMind 推出 AlphaProof Code 框架,形式化验证 Signal 密码协议实现代码

    Google DeepMind 发布 AlphaProof Code,一个多 LLM 智能体形式化验证框架,首次对 Signal 协议的实际实现代码完成数学化安全证明,此前该挑战被认为极为困难。

    推荐理由:原文给出框架工作流程、生成六百万行 Lean 和四周完成验证等细节,读者可据此判断形式化验证的可行路径。

  2. Hugging Face Blog62

    Hugging Face 生态支持决策模型:Transformers 新增 DecisionPipeline 与 /v1/systemone 接口

    Hugging Face 在 transformers 中加入 DecisionPipeline、AutoModelForDecision 与 DecisionConfig,并推出 /v1/systemone 服务端点,llama.cpp 也支持同一 API。

    推荐理由:官方博客给出 decision pipeline、/v1/systemone 端点和训练示例,读者可以直接照代码把决策模型接入现有分类与路由工作流。

  3. LangChain:Blog52

    LangChain 开源 Promptim 提示词优化库

    LangChain 发布开源实验性提示词优化库 Promptim,基于 LangSmith 数据集与评估器运行优化循环,自动迭代提示词直到指标超越基线。它聚焦优化单个提示词,通过 Annotation Queues 保留人工反馈环节,与 DSPy 的整套系统优化定位不同,可通过 pip install promptim 安装。

11月9日周一
  1. NVIDIA Blog69

    NVIDIA 在 CoRL 发布 GR00T 2 世界动作模型及 Isaac Lab 3.0、DexBench 等机器人仿真新技术

    NVIDIA 在 CoRL 上发布开源世界动作模型 GR00T 2,基于 NVIDIA Cosmos 训练,含 10 万小时人类第一视角数据,开箱即完成 50 项任务中的 40 项,每任务 1 次演示平均成功率 71%,5 次达 95%。

    推荐理由:官方博客一次性给出模型数据、仿真吞吐提升和新基准清单,可据此了解机器人仿真训练从运动控制到精细操作的进展。

11月7日周六
  1. MIT News43

    MIT 开源 CheMeleon 基础模型如何从少量数据预测分子行为

    MIT 团队发布开源分子性质预测基础模型 CheMeleon,基于 ChemProp 构建,用来自 PubChem 的约 100 万个分子预训练,学习约 1600 种分子描述符,可针对新性质用少量数据微调。在 58 个测试案例中,该模型优于其他基础模型和经典专家模型;今年早些时候 OpenADMET 主办的竞赛中,前 20 名里有 9 名使用了 CheMeelon,目前已被多家制药公司采用。

11月6日周五
  1. Hugging Face Blog54

    Ai2 发布 ToyBlocks:可控机器人学习与评测的开源模拟框架

    Ai2 发布开源模拟框架 ToyBlocks,作为首个 FoundationWorld,围绕机械臂与桌面积木自动生成任务和演示数据,并配套训练与评测工具。框架在单张 GPU 上可并行生成数百个规划方案,最高达 24 倍实时性能,首批发布 85,336 条长程演示、约 1,600 小时数据和 1.44 亿帧。

11月5日周四
  1. Preferred Networks:AI 研究与产品60

    PFN 开源发布翻译专用模型 PLaMo 3 Translate,支持 53 种语言离线运行

    Preferred Networks 于 11 月 5 日开源发布翻译专用大模型 PLaMo 3 Translate,提供 0.8B、2B、8B、31B 四种规格,已上架 Hugging Face。

    推荐理由:原文给出四个模型规格、53 种语言覆盖和离线运行能力,可帮助读者评估端侧翻译模型的选型与商用许可条件。

11月4日周三
11月3日周二
  1. PyTorch:Blog47

    Ray 宣布成立面向加速器的特别兴趣小组(SIG)

    Ray 宣布成立面向硬件加速器的特别兴趣小组(SIG),旨在联合硬件厂商、Ray 贡献者和应用开发者,制定厂商中立的加速器支持路线图。目前 Ray 已支持十余种加速器,涵盖 NVIDIA 与 AMD GPU、TPU、Trainium、Gaudi 等。初期路线图聚焦三个方向:开发与测试基础设施、硬件感知调度能力,以及网络/传输。

11月2日周一