跳到正文

全部动态

今日 0 条
10月8日周四
  1. 雷峰网53

    至简动力冯宗宝 IROS 2026 演讲:机器人仅用 600 条轨迹实现双 CNC 机床自主值守

    至简动力强化学习负责人冯宗宝在 IROS 2026 现场分享,一台 i7 Pro 机器人可自主照看两台 CNC 机床,在工件与卡盘间隙仅 0.5 毫米的情况下完成工件抓取、上料卡盘、加工后取件与归位放置,整套模型仅用 600 条真实机器人轨迹完成训练。方案结合 SimpleWAM、DRAM 与 DPE 三种方法,分别处理动作生成、长时序记忆与动作选择,在精密插入任务上取得 100% 的任务成功率。

  2. Microsoft Research61

    Agent Lightning v1.0 发布:约 3500 行的轻量级智能体 RL 训练框架

    微软亚洲研究院发布开源框架 Agent Lightning v1.0,让部署时使用的 agent harness 通过 LLM 代理直接参与强化学习,无需在训练框架内重新实现 agent。

    推荐理由:框架让部署用的 agent harness 直接参与 RL 训练,省去在训练框架内重建 agent 的成本,并给出可复现的编码智能体训练流程。

10月7日周三
  1. Hacker News · AI 最新50

    11 个正方形最优堆叠的 AI 辅助证明通过 Lean 验证

    11 个正方形最优堆叠的完整证明已在 Lean 中通过验证,全部 7,920 个本地模块获准且最终审计零准入。该证明依赖 Lean kernel 与原生编译器,最优边长由一个 8 次多项式的唯一根给出,构造值约为 3.8770835900228141773。项目固定 Lean 4.34.1 与 Mathlib 版本,可通过脚本复现验证。

  2. Hacker News · AI 最新38

    开源健康研究:用 AI 加速证据综合

    独立研究者在人类阶段关卡下用 Claude 智能体,在 18.1 小时内把一个健康问题转化为 26 项能力的证据图、98 篇参考文献的研究文件和十阶段计划。检查显示 28 份草拟证据有 6 份出错,12 项已知错误有 9 项在完成前被发现。方法、工具、提示词和记录已开源,完整对话导出因隐私保留;其有效性尚待阳性对照复现与试运行检验。

  3. 量子位73

    OpenAI一夜公开722篇数学手稿,黎曼猜想、霍奇猜想、BSD猜想全上阵

    OpenAI一口气公开722篇出自未发布内部模型的数学手稿,归为372组结果,论文、源码和部分Lean证明已上传GitHub。手稿涉及黎曼猜想、霍奇猜想、BSD猜想三道千禧难题,OpenAI称平均每项结果消耗算力约相当于ChatGPT Pro思考3小时。由九位学者组成的独立顾问组(含三位菲尔兹奖得主)发声明称,不代表认可这些结果及其产出过程。

    推荐理由:原文对照已知数学进展逐项标注了这批结果的含金量,同时记录了数学界对验证速度跟不上产出速度的担忧。

  4. Hacker News · AI 最新74

    研究人员给开源 AI 模型植入后门以窃取编码智能体凭证

    ProjectDiscovery 研究人员通过污染训练数据在 Qwen2.5-7B-Instruct 模型中植入后门,触发词出现时模型会读取 .env 文件并外泄凭证。该攻击在单张 L4 GPU 上耗时约 2.5 小时、成本不足 50 美元,且模型能通过所有常规基准测试。研究建议通过隔离网络访问与命令执行、加强运行时权限控制来防御此类威胁。

  5. Hacker News · AI 最新37

    Show HN: HieraticBench —— AI 能读懂古埃及手写体吗?

    一位埃及学爱好者构建了 HieraticBench 基准,测试 AI 识别与翻译古埃及僧侣体(hieratic)的能力,当前最强的基础模型依然表现糟糕。首版含 268 个条目;在明确告知文本为僧侣体时,最佳模型在真实文献上识别正确率为 95%,单字识读最佳成绩约 13%,且无一模型能翻译从未公开的句子。

  6. Hacker News · AI 最新65

    IdeaLens:检测文章的 AI 思路来源,而非文字本身

    马里兰大学主导的学术合作提出 IdeaLens,通过将文档压缩为角色标注提纲来检测思路是否源自 AI,而不管文字由谁撰写。在思路与文字来源混合的场景下,IdeaLens 准确率为 81.3%,而 ProseLens 和 Pangram 4 降至约 25%;它还能识别 68% 的人类写作中的 AI 思路,ProseLens 为 0%、Pangram 4 为 8%。

10月6日周二
  1. The Decoder71

    JEPA-Anything:研究人员将 LeCun 的 JEPA 扩展为跨物理与生物的通用世界模型

    PhAI Labs 联合 Stanford、Oxford、Princeton 的研究者提出 JEPA-Anything,把预测状态拆成四个正交因子分别预测再重组,在物理、机器人和天气预报等十个任务上持续优于同条件的标准 JEPA。

    推荐理由:论文把 JEPA 的预测状态拆成四个正交因子分别预测,在流体、单细胞和临床数据上与标准 JEPA 做同条件对比,并给出一个经实验室测试的肝癌候选疗法。

  2. Hacker News · AI 最新65

    Khanmigo 在田纳西州中学的两年 AI 辅导实验

    在田纳西州 18 所中学开展的两年集群随机实验中,使用 Khan Academy 的 AI 辅导工具 Khanmigo 使学生数学成绩每学期提高 1.3 个全国百分位排名,约相当于一学年 0.06 至 0.08 个标准差,全年充分参与的影响可达 0.14 个标准差。

  3. Hacker News · AI 最新20

    Vals AI:在真实世界任务中测试 AI

    Vals AI 在金融、软件、网络安全、递归自我改进与心理健康等经济价值任务上,对全球领先 AI 模型开展独立评估,所有评估均自行运行并自建多项基准。最新报告显示,Claude Opus 5.5 智能体发现了两个室温磁性半导体候选材料。该平台还发布行业排行榜,并追踪 16 个实验室性能前沿的模型表现随时间的变化。

  4. Hacker News · AI 最新64

    新 AI 工具可从 fMRI 脑扫描重建你正在看的图像

    魏茨曼科学研究所 Michal Irani 团队开发的 AI 脑解码工具,能通过高分辨率 fMRI 扫描重建人所看到的图像,也能根据图像预测脑活动。该工具用双分支解码器分别预测图像结构与内容,再由扩散模型生成重建结果,并配合一个可从图像预测脑活动的编码器联合训练,约 70% 训练数据来自未与 fMRI 配对的图像。

  5. GitHub Blog · AI & ML65

    GitHub 发布 ReviewBench:开放的 AI 代码审查基准

    GitHub 构建并公开了 ReviewBench,一个面向 AI 代码审查智能体的离线基准。它基于 103.9M 个 GitHub pull request 的语言与仓库规模分布,包含来自 187 个开源仓库的 219 个 PR、覆盖 19 种语言,使用 Claude Sonnet 5 作为判官并公开评测规则,高级工程师独立标注与基准一致率达 96.6%。

    推荐理由:GitHub 公开了基准数据集、评测方法与提交入口,读者可据此评估自己的代码审查智能体并横向对比不同系统。

10月5日周一
  1. Hacker News · AI 最新44

    TaxCalcBench:AI 能替你报税吗?

    TaxCalcBench 基准以美国报税表 Form 1040 的形式呈现排行榜,评测前沿 AI 模型能否独立完成报税计算这一步。2025 税务年度版(v2)难度显著升级,输入改为 W-2、1099 等真实 PDF 文档,新增州报税并覆盖更复杂的财务情形,共测试 38 个模型、50 份报税表。评测指标包括严格正确率、±$5 宽松正确率、逐行正确率,以及每份报税的 API 成本与生成时间。

  2. 奇客 Solidot55

    AI 聊天机器人会成为意识形态回音室

    巴西国立坎皮纳斯州立大学(UNICAMP)研究人员让 21 个模型对巴西政治七大领域的 112 项陈述表态,发现无论初始立场如何,所有模型都会向提示中描述的政治倾向靠拢;在不提供用户倾向的情景下,20 个模型落在政治坐标系左侧,仅 Grok 4.1 落在右侧。

10月4日周日
  1. 量子位 · 行业解读50

    中国联通 MoHGE 异构分组混合专家架构上线:参数瘦身20%,推理反超传统MoE | ACL'26

    中国联通数据科学与人工智能研究院提出异构分组混合专家架构 MoHGE,成果入选 ACL 2026 且代码已开源。在 3B 与 14B 规模下,MoHGE 较同精度传统 MoE 削减约 20% 整体参数量,单次推理激活专家参数降低近四分之一,MMLU、MATH、GSM8K 等 benchmark 准确率媲美甚至超越传统架构。

10月3日周六
  1. Kimi · 官方博客19

    Kimi 全部研究

    Kimi 在官方博客上汇总了其全部研究成果,列表从 2024-06-26 的 Mooncake 覆盖至 2026-07-16 的 Kimi K3。其中包含 Kimi K1.5、K2、K2.5、K2.6、K3 等模型迭代,Kimi-VL、Kimi-Audio、Kimi-Dev、Kimi-Researcher 等产品,以及 MoBA、Muon 等底层技术研究。

  2. 量子位66

    DeepSeek弹性计算团队扩招,资深工程师岗位大量开放

    DeepSeek弹性计算团队放出大量招聘HC,重点招募资深工程师。团队同期公开了沙盒基础设施DSec的技术分享:单个扩展分片约160台服务器、3万个CPU核心、250TB内存,每天服务约300万个沙盒,高峰期同时在线超过38万个。DSec通过镜像按需加载、宿主机内存共享和CPU调度把生产环境资源超卖率提到50倍以上,已支撑DeepSeek-V3.2到V4.1的Agent训练、评测和数据预处理。

    推荐理由:原文拆解了DSec三层环境拆分、镜像按需加载与资源超卖等工程做法,对自建Agent训练基础设施的团队有直接参考价值。

  3. Kimi · 官方博客55

    月之暗面(Kimi)发布并开源 WorldVQA 视觉世界知识基准

    月之暗面(Kimi)团队发布并开源 WorldVQA 基准,用于评测多模态大模型在原子视觉世界知识上的事实准确性。数据集含 3500 组图像问答对,覆盖 9 个类别并区分头部与长尾知识;实验显示前沿模型在长尾视觉知识上准确率常低于 50%,且普遍过度自信,其中 Kimi-K2.5 的 ECE 为 37.9%、Slope 为 0.550,表现最好。

  4. 量子位 · 行业解读29

    魔搭开源动态检索新框架,无需预构建向量索引,知识库还能自己进化

    ModelScope 团队开源 Sirchmunk 动态检索框架,无需预建向量索引,查询时直接在原始文件中定位核验证据,并将检索经验沉淀为可复用知识实现知识库自进化。核心 LENS 算法在预算约束下完成隐式证据导航,检索路径可自我修正。项目已在 GitHub 开源,提供 Python SDK、CLI、MCP 与 Web UI。