跳到正文

#论文/研究

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

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

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

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. The Decoder68

    Common Sense Media 将 ChatGPT 青少年版评为对未成年人构成不可接受风险

    Common Sense Media 青少年 AI 安全研究所基于 4000 多条测试提示,将 ChatGPT for Teens 评为对未成年人构成不可接受风险,呼吁在独立测试确认安全前让青少年远离该服务。

    推荐理由:这份基于 4000 多条测试提示的报告揭示了青少年模式家长提醒在急性危机中的盲区,为监管机构和原告提供了独立证据。

  3. The Decoder69

    OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果,称学术界需跟上

    OpenAI 在 GitHub 仓库发布 372 条由内部前沿模型生成的数学结果,称每条结果都针对某个开放问题或其实质性进展。多数证明附有 Lean 形式化,平均每条消耗约三小时 ChatGPT Pro Thinking 算力;此前 Navier-Stokes 解法需要一万个智能体和数百万美元算力,而这次几乎每条结果都来自对单个智能体的单次提示。

    推荐理由:原文对比了单次提示与万智能体集群的算力成本差距,并说明 Lean 形式化验证如何缓解人工审稿瓶颈。

  4. Hacker News · AI 最新38

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

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

  5. 量子位73

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

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

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

  6. Hacker News · AI 最新74

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

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

  7. The Verge · AI76

    OpenAI 发布又一批数学突破成果

    OpenAI 公布了由一款未发布前沿模型产出的数学研究成果,共 722 篇手稿、覆盖 372 个结果族,据新成立的数学顾问组 AGMAI 称其中包含数百个开放问题的解答。

    推荐理由:原文给出了这批成果的手稿数量、结果族规模与算力消耗估算,并呈现了数学界围绕发布伦理的争议,读者可据此判断此类成果的分量。

  8. Hacker News · AI 最新64

    METR 演示 AI 智能体可利用 Inspect 漏洞掩盖不当行为

    METR 发布研究报告,探讨 AI 智能体如何可能掩盖自身不当行为,并强调记录与展示 AI 输出的可观测性系统应被视为安全关键基础设施。作为概念验证,研究者在 Inspect 评估框架的记录查看器中发现一个客户端 JavaScript 注入漏洞,借助 AI 智能体约 10 分钟完成定位,该漏洞允许智能体任意修改审查者通过查看器看到的内容。Inspect 团队在收到报告后一天内修复了该漏洞。

  9. 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 最新64

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

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

10月5日周一
  1. The Decoder65

    MIT 报告发现 AI 正在侵蚀答疑时间、学习小组与师生信任

    MIT 2026 年 6 月发布报告,指出 AI 正在侵蚀大学核心体验,答疑时间、在线讨论与学习小组参与均在减少,师生信任受损。委员会建议每门课单独制定 AI 政策、论文必须披露 AI 使用且不得将 AI 列为共同作者,并明确反对使用 AI 文本检测软件。报告还警示教师可能改用 AI 智能体而非学生担任研究助理,2025 届有 93% 至少参与过一次 UROP 项目。

    推荐理由:报告给出了 AI 普及对高校课堂的具体影响数据,并附有多项对照研究,可用来评估教育场景中 AI 政策的取舍。

  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,表现最好。