AI 快讯
LIVE · 24h全网 AI 动态的中文速报，聚合引擎每 15 分钟更新。
- 10 月 13 日 19:0018:32
Meta 新模型 Muse 回归 AI 第一梯队，Alexandr Wang 讲述翻身内幕
↗ 查看原文 · infoq.cnMeta 推出新模型 Muse，重新回到 AI 第一梯队。Alexandr Wang 亲述该模型用 7 个月实现翻身的经…
- 18:30
Google Gemini 4 Argon 让长周期推理更贴近实际开发
↗ 查看原文 · dev.toGoogle 推出前沿模型 Gemini 4 Argon，主打在长周期任务中维持深度推理能力，让这类推理更接近实际项目落…
- 18:28
开发者构建 MountX：可自托管的动态语言编译器，输出 C99
↗ 查看原文 · dev.to有开发者在 DEV Community 分享构建 MountX 的经历，这是一个自托管的动态语言编译器，可编译到 C99…
- 18:25
- 18:24
- 18:23
Disney 出价 2000 万美元收购 Character.AI 聊天机器人技术
↗ 查看原文 · arstechnica.comDisney 拟以 2000 万美元收购 Character.AI 的聊天机器人技术。后者是早期聊天机器人厂商之一，曾与…
- 18:18
- 18:15
- 18:09
Gentoo 开发者呼吁不要使用 uv-build
↗ 查看原文 · blogs.gentoo.orgGentoo 开发者 Michał Górny 发文呼吁不要用 uv-build 作为构建后端，称其体积大、用 Rust…
- 18:05
CyberArena 基准测试智能体实时攻防对抗
↗ 查看原文 · arxiv.org研究者提出 CyberArena，在隔离沙箱中让两个智能体按相同规则同时攻防，并引入动力学模型量化攻防能力。466 场比…
- 10 月 13 日 18:0018:00
- 18:00
评测：Ray-Ban Meta 音频眼镜去掉摄像头后更实用
↗ 查看原文 · theverge.comThe Verge 记者体验了不带摄像头的 Ray-Ban Meta 音频眼镜，认为在跑步、点单、读书等日常场景中依然好…
- 17:59
DoubtLess：免训练对比解码缩短推理链
↗ 查看原文 · arxiv.org论文提出免训练解码方法DoubtLess，用较小推理模型引导大模型简洁作答，在七个基准上使Qwen3-32B的思维链缩短…
- 17:59
AesCode：用解耦跨模态奖励生成美观代码
↗ 查看原文 · arxiv.org研究者提出 AesCode，将内容提示生成的图像作为美学参考，把目标表示为设计图并拆出可解析与不可解析两类奖励，用强化学…
- 17:57
- 17:57
Gemini 老兵团队押注 Coding Agent，传刚亮相就被英伟达收购
↗ 查看原文 · infoq.cn一支来自 Gemini 的资深团队推出 Coding Agent 产品，刚亮相便传出被英伟达收购的消息。
- 17:56
GitHub 推出上下文感知密钥检测模型
↗ 查看原文 · github.blogGitHub 发布上下文感知的密钥分类模型，加权接受率提升 11.5%，扫描执行时间中位数减少 86%，在检出更多密钥的…
- 17:55
RoboSimStudio：机器人操作任务的交互式 Real2Sim 工具包
↗ 查看原文 · arxiv.org研究团队发布 RoboSimStudio，基于开源 Newton 物理仿真系统，把求解器、接触模型和物理参数的选择显式化…
- 17:52
Deslop：针对 AI 生成 TypeScript 的 Oxlint 规则集
↗ 查看原文 · github.com开发者发布 ai-deslop，一套 Oxlint 规则，用于拒绝低信息量、疑似 AI 生成的代码模式。
- 17:45
- 17:41
Anthropic 披露 Claude 动态工作流架构
↗ 查看原文 · infoq.cnAnthropic 公开 Claude 的动态工作流架构，Claude 可自行编写程序来管理 Agent。这改变了以往由…
- 17:27
300 个单元测试全过，但线索工具把「退款政策」当成了人名
↗ 查看原文 · dev.to开发者构建开源工具 OpenLeads，从公开数据中查找人物及其工作邮箱，结果 300 个单元测试通过的同时，工具却把「…
- 17:25
修复漏洞的 PR 刚提交，攻击几分钟后就来了：AI 正在击穿开源安全流程
↗ 查看原文 · infoq.cnInfoQ 中文报道称，AI 正让开源安全流程承压：修复漏洞的 PR 刚提交，攻击几分钟后就出现。
- 17:24
- 17:22
ARBITER：带可验证反馈的智能体代码评判模型
↗ 查看原文 · arxiv.org研究提出用问题描述和源码评判并诊断候选程序，以生成的反例作为可核查证据，并构建 USACO-JUDGE 基准训练 35B…
- 17:05
LiquidAI 发布 LFM2.5-24B-A2B 端侧推理模型
↗ 查看原文 · huggingface.coLiquidAI 推出 24B 参数、仅 2B 激活参数的推理模型 LFM2.5-24B-A2B，面向端侧私有智能体，支…
- 17:01
Facebook 推出 Your Algorithm 自定义信息流
↗ 查看原文 · theverge.comMeta 为 Facebook 和 Reels 上线 Your Algorithm 功能，用户可自行添加和管理想看的话题…
- 10 月 13 日 17:0017:00
Google 计划在 Play Store 托管个人 AI 生成应用
↗ 查看原文 · arstechnica.comGoogle 计划帮助用户把个人用 AI 生成的应用变成正式发布的应用，进一步打通从随手开发到上架的流程。
- 17:00
Google 简化 AI Studio 生成应用的发布流程
↗ 查看原文 · theverge.comGoogle 在美国推出一项新功能，用户通过 AI Studio 生成个人应用后，可直接经 Play Store 发布…
- 16:42
Mia Goth 批评 Instagram 放任其 AI 假图传播
↗ 查看原文 · theverge.com演员 Mia Goth 表示，Instagram 允许一张她的 AI 生成图片在平台上传播令人难以理解。该图片来自带有蓝…
- 16:42
开发者专属复古电视 DEV·TV 上线，13 个直播频道无需注册
↗ 查看原文 · dev.toDEV·TV 是一款浏览器内的复古电视，可直播 GitHub、Hacker News、新模型、论文和 CVE 等内容，在…
- 16:36
Kolibrie v0.2.0 发布：Rust 编写的神经符号流推理引擎
↗ 查看原文 · dev.to开发者发布开源引擎 Kolibrie v0.2.0，用 Rust 编写，结合机器学习与显式逻辑推理进行流式处理。
- 16:30
UUID 各版本对比：v1、v4、v5、v7 该用哪个
↗ 查看原文 · dev.to一篇技术文章梳理了 UUID 各版本的区别与适用场景。UUID 是 128 位标识符，可在无中心协调的情况下保证唯一性…
- 16:24
千问 Personal Agent 硬件升级：AI 眼镜支持虹膜支付
↗ 查看原文 · infoq.cn千问 Personal Agent 硬件迎来升级，AI 眼镜新增虹膜支付功能，并与 Bose 合作首发 AI 耳夹耳机。
- 16:22
- 16:21
- 16:15
开发者让三个 AI agent 互相攻破数学题五天
↗ 查看原文 · dev.to一名开发者让三个 AI agent 在五天内互相挑战对方的数学推理，以测试多 agent 系统中 agent 相互附和的…
- 16:14
ListingLift：面向转卖者的本地 AI 商品文案工具
↗ 查看原文 · dev.to开发者发布本地优先的网页应用 ListingLift，为 Etsy、eBay、Depop 等平台的转卖者生成商品文案，属…
- 16:06
观点：不存在 AI Agent，只有用机器学习模型的软件
↗ 查看原文 · dev.toDEV Community 一篇帖子认为，当前所谓 AI Agent 与配套框架并不成立，本质上只是调用机器学习模型的普…
- 16:05
科学家担忧 AI 窃取自己的研究想法
↗ 查看原文 · scientificamerican.com在 OpenAI、Anthropic 相继被指挪用用户上传文档中的成果后，科学家开始担心自己与 AI 对话时分享的想法和…
- 10 月 13 日 16:0016:00
Gemini 4 Argon 在 Gemini 应用和 Antigravity 推送，需付费
↗ 查看原文 · arstechnica.comGemini 4 Argon 开始在 Gemini 应用和 Antigravity 中推送，仅对付费用户开放；开发者到…
- 16:00
Google 发布 Gemini 4 Argon，面向开发者与企业
↗ 查看原文 · blog.googleGoogle 宣布向开发者、企业、科研人员和消费者开放最新前沿模型 Gemini 4 Argon。
- 16:00
Google 正式发布 Gemini 4 Argon
↗ 查看原文 · theverge.comGoogle 发布 Gemini 4 Argon，称其具备前沿推理能力，在复杂工作流中表现提升，并减少了冗余表述与套话。
- 15:59
Legal-R1：面向法律推理的智能体检索框架
↗ 查看原文 · arxiv.org研究提出 Legal-R1，把法律问答拆成多智能体流程，由 Lawyer 智能体决定何时检索、查哪个来源及证据是否充分…
- 15:57
AgentStripes：AI Agent 证据分级成熟度模型
↗ 查看原文 · arxiv.org论文提出 AgentStripes，用 0 至 7 级、12 个过程域和 E0 至 E5 证据等级评估 AI Agent…
- 15:56
Sayso：本地运行的开源听写工具，支持三大桌面平台
↗ 查看原文 · github.com开发者发布开源听写应用 Sayso，按键说话即可把文字输入当前应用，支持 macOS、Windows 和 Linux，语…
- 15:53
开发者打造实验性编程语言 Quidra，追求每 token 最大含义
↗ 查看原文 · dev.to有开发者在 DEV Community 介绍实验性编程语言 Quidra，设计目标是让每个 token 承载最大含义，而…
- 15:53
开发者做游戏测试能否让 AI 在 AWS 问题上被误导
↗ 查看原文 · dev.to一位开发者搭建了一个游戏，测试能否通过对话让模型在 AWS 区域数量等问题上给出错误答案，起因是他向模型提问时发现了异常…
- 15:46
PGLA：成对比较引导的 LLM 测试时扩展方法
↗ 查看原文 · arxiv.org论文提出 PGLA 框架，借鉴社会选择理论中的孔多塞原则，对支持不同答案的推理路径做成对置信度比较，并与投票支持结合，用…
- 15:40