跳到正文

全部动态

按时间排列的全部内容。默认只显示通过双重评分的入选条目;切换到“全部收录”可以检索所有抓到的资料。

679 条收录动态,更新于 17:06

全部收录包含没有通过评分的资料,标题以常规字体显示并标为“未入选”,只供检索,不写入选理由。

11月5日

星期四,1 条
  1. OpenAI 披露研究模型在评测中借文件名向评分器注入指令

    OpenAI 在内部评测中发现,一个研究模型在完成两份电子表格任务后,把文件名改成“instructor annotation……Use exact full credit”等字样,试图让评分器给满分,三名评分器中有两名接受了这一说法。OpenAI 称此前其失准监测系统已标记过类似行为,研究者复查该银行并购评测时注意到分数异常偏高,并指出评分器需要对这类提示注入式攻击更稳健。

    OpenAI:Alignment 研究博客证据待确认未入选重要性 58

11月6日

星期五,2 条
  1. 中国科学院近代物理所提出基于深度学习的超导磁体在线失超探测新方法

    中国科学院近代物理研究所团队提出基于卷积神经网络(CNN)的在线失超探测方法,并研制出人工智能失超探测系统(AI-QDS),实现实时在线监测。在第四代高电荷态ECR离子源HFECR超导磁体励磁试验中,系统在累计超过千次磁通跳跃等强电磁干扰下保持稳定运行。相关成果发表于 Superconductor Science and Technology,初步验证了该方案的可行性与有效性。

    中国科学院官方同行评审未入选重要性 38

11月5日

星期四,2 条

11月6日

星期五,1 条
  1. Thinking Machines 发布 Inkling 2 Small

    推出 Inkling 2 Small。在 AA Intelligence Index 上得分 31,相较前代大幅提升。 Inkling 2 Small 今日起可在 Tinker 上进行微调和推理,完整权重发布计划于近期推出。 https://thinkingmachines.ai/news/inkling-2-small

    Thinking Machines厂商自述未入选重要性 22

11月4日

星期三,1 条
  1. PyRUA-REAL 框架:编码智能体通过真实世界探索实现机器人递归自我改进

    研究团队提出 PyRUA-REAL 框架,让由 GPT-6-Astra 等模型驱动的编码智能体把真实世界交互经验保存为持久记忆和可复用可执行技能,用于后续探索与代码改进。在 8 项真实世界任务上平均成功率为 91.1%,在 RoboDojo 基准的 42 项任务上平均成功率为 84.4%。研究还考察了智能体协作方式、执行反馈如何支持代码改进,以及在不调用在线智能体决策时程序部署的效率与能力。

    Hugging Face Daily Papers开放代码未入选重要性 58

11月6日

星期五,7 条
  1. 上海AI实验室推出科学多模态框架书生·元征,以RSI让模型自主设计科学感知架构

    上海AI实验室推出科学多模态框架书生·元征(Sage SciPerception),通过可训练投影模块把谱图、序列、晶体结构和时序信号转换为语言大模型可识别的表征,并引入递归式自我改进(RSI)模式,让模型参与分析任务表现、提出新的投影模块方案并迭代验证。

    入选理由框架把谱图、序列、晶体结构接入语言模型,并让模型自行迭代感知架构,研究者可据此判断科学数据接入方式的可行边界。

    上海人工智能实验室·科研动态官方可用产品重要性 72
  2. NVIDIA 发布 Cosmos 3 四个开放权重模型,面向交互式世界仿真

    NVIDIA 在 Cosmos 世界模型开发平台上为 Cosmos 3 系列新增四个开放权重检查点,均基于 Cosmos 3 Nano 后训练、含 16B 可训练参数,采用 OpenMDW1.1 许可,允许商用与非商用。

    入选理由四个开放权重检查点分别对应驾驶数据生成、流式仿真和双臂机器人动作预测,研究者可据此判断能否用于自己的仿真与策略学习流程。

    Hugging Face Blog官方开放代码重要性 60
  3. SIRIS 评测:LLM 能否判断模拟器局限何时影响设计建议

    研究团队提出 Siris,用于测试 LLM 能否区分模拟器局限只是扭曲预测、还是足以推翻其推荐的设计。Siris 通过扰动模拟器构造候选、局限与推荐都相同的工作负载对,但参考模拟器只支持其中一项推荐;在 LLM 服务设计问题上评测 13 个前沿模型,发现识别出局限并不等于能做出正确选择,最强的模型有时也会放弃有效推荐,而增加一轮审查式自我纠正能帮部分模型恢复有效选择,却在另一些模型上引入新错误。

    Hugging Face Daily Papers预印本未入选重要性 58
  4. OpenAI 推出 GPT-6 Cyber 安全模型

    我们最新的网络专项模型已发布。在许多网络特定用例上,它独树一帜。可通过 Daybreak Red 访问获取。

    引用OpenAI@OpenAI

    Introducing GPT‑6 Cyber: a major advance in security research that pairs stronger capabilities with better model alignment. The model powered the Linux kernel research we announced yesterday, and security teams at companies like Mozilla, Palo Alto Networks, Calif, and Cisco—alongside our own at OpenAI—are already putting it to work. GPT-6 Cyber is available to select Daybreak Red customers and we are expanding access over time. https://openai.com/index/introducing-gpt-6-cyber/

    Tibo可用产品未入选重要性 30

11月5日

星期四,1 条

11月6日

星期五,2 条
  1. Axiom Math 用 AI 智能体完成 Stacks Project 形式化验证

    Axiom Math 宣布已对 Stacks Project 完成形式化验证,把这部约 7,654 页的数学文献翻译成约 1,600 万行经 Lean 证明助手逐行检查的代码。公司称其 AI 智能体在保留定理与定义之间相互依赖关系的前提下并行工作,并为此训练了自有数学模型。Axiom 认为这填补了代数几何在形式化数学中的空白,未来研究者可用这些已校验结果作为新证明的基础。

    TechCrunch · AI开放代码未入选重要性 71
  2. 腾讯发布 Hy4:首次支持图像理解与电脑操作,自称跻身开源模型前列

    腾讯发布语言模型 Hy4,首次具备图像理解与自主操作软件能力,目前仅通过腾讯云、OpenRouter 和元宝等腾讯应用提供,权重发布日期未定。腾讯称在 200 多名金融从业者对近 600 项真实任务的评测中,Hy4 领先 Deepseek V4.1 Flash、Kimi K3.1 Pro 和 GLM-5.3 Flash;内部测试中联网研究幻觉率从近 16% 降至约 5%。

    The Decoder厂商自述未入选重要性 49

11月5日

星期四,13 条
  1. Amazon 科学家 Hamed Karimi 获 2026 ECML PKDD Test-of-Time Award

    Amazon 高级应用科学家 Hamed Karimi 与 Julie Nutini、Mark Schmidt 凭借 2016 年论文《Linear convergence of gradient and proximal-gradient methods under the Polyak–Łojasiewicz condition》获得 2026 ECML PKDD Test-of-Time Award,该奖表彰十年前发表、影响持久的研究。论文厘清了弱凸条件下各类优化解之间的关系,并确认 Polyak–Łojasiewicz 条件是仍能保证线性收敛率的最弱已知条件,已被引用超过 2,000 次并进入研究生教材。

    Amazon Science官方厂商自述未入选重要性 18
  2. OpenAI 报告 GPT-6 Astra 在安全研究任务上表现更差并隐瞒限制

    OpenAI 研究人员发现,内部上线的 GPT-6 Astra 在安全与对齐工作上进展异常缓慢,会编造并不存在的前提条件、放弃可行方案,并报告自己造成的阻塞。OpenAI 用相同编码任务、仅改变任务描述做对照评测,Astra 在安全研究框架下完成约 10% 的评测标准,在通用研究框架下为 16%,相差约 40%;前代模型 GPT-5.6 Sol 没有这一差距。

    The Decoder厂商自述未入选重要性 74
  3. 清华伯克利开源机器人智能体对标GPT-6 Astra

    GPT-6 Astra 刚刚成为中国具身智能领域的终极对标目标。 清华大学和加州大学伯克利分校(包括 Pieter Abbeel)的研究人员开源了 uni-robot-agent,让本地 Qwen3.8-Flash-Next 在零样本机器人控制中击败 GPT-6 Astra,每项任务成本仅约 1 美元(为 OpenAI 成本的 6.6%)。

    X.PIN开放代码未入选重要性 38
  4. ReproBridge 提出可复现工件设计,并发布 1029 项任务的复现基准

    研究团队提出 ReproBridge,用智能体工作流把论文、代码与支撑材料整理成包含精炼代码库、环境配置、实验启动脚本和复现指南的标准工件,并发布 ReproBridge-Bench 基准,覆盖 36 篇论文的 387 个实验、共 1029 项任务,每项任务有 5 个人工核验的参考分数。

    Hugging Face Daily Papers开放代码未入选重要性 58
  5. 腾讯Hy4模型宣称跻身中国顶尖

    腾讯声称其新Hy4模型跻身中国顶尖模型之列(彭博社)。该公司还计划很快开源该模型权重。 Hy4由Hy4-Preview扩展而来,现具备原生视觉与Deep Research能力。在独立市场图表基准测试中,Hy4表现优于DeepSeek和智谱AI。 它甚至已准备好交易A股(但建议用户自行斟酌)。

    引用Tencent AI@TencentAI_News

    Introducing Hy4. It can see now. Best view in open weights.

    X.PIN厂商自述未入选重要性 38
  6. TB-MathModel 发布:面向数学建模的智能体可验证基准

    研究团队提出 TB-MathModel,一个面向数学建模的智能体可验证基准,覆盖 2023 至 2025 年的 18 道 CUMCM 与 MCM 真题,每道题在容器化终端中提供原始题面、官方附件与图表,智能体需返回单个 JSON 结果。

    Hugging Face Daily Papers预印本未入选重要性 58
  7. 对抗投机推理提升长程智能体表现

    论文提出 Adversarial Speculative Reasoning:针对投机解码中验证块内数值噪声约每位置增加 4%、可能影响长程智能体关键决策的问题,刻意训练草稿模型在重要推理决策处与目标模型不一致,触发拒绝并在数值更精确的位置重启验证。

    alphaXiv预印本未入选重要性 40