人工智能、精益管理与形式化验证的未来，由精益管理领域的专家Leo de Moura分享
HN Ÿ 8 · 0 评论
-
-
总部位于巴黎的Mistral公司推出了“Le Chonk”这一强大的编码模型，不过在该领域的发展水平仍然落后于中国。
Mistral已经发布了Large 4模型的权重文件，该模型被称为“Le Chonk”，是一个在欧洲完全训练出来的、拥有万亿参数的模型。Mistral声称自己的模型在编码性能上优于其他开源模型，而独立测试也表明该模型运行速度快且成本较低。不过，它仍然无法与中国的顶级模型相媲美，其得分仅为26分，而DeepSeek的V4.1 Flash和GLM-5.3则分别获
-
僵尸属性数据：AI所引用的数字来自何处
HN ⭐ 100 · 51条评论
-
那些“麻烦至极”的数学问题，其实或许能拯救Vibe Coding本身呢。
一家名为&Truth的新创企业正在加入这场自动化形式验证的竞赛中。形式验证是一项非常繁琐的过程，需要通过数学手段来证明软件能够按照预期的方式运行。
-
《纽约时报》的烹饪应用程序正在测试使用人工智能来修改食谱的功能。
《纽约时报》正在其烹饪应用中添加一项新的人工智能功能，该功能可以帮助用户修改食谱。这一消息引发了用户之间的一些讨论。上周五，纽约时报烹饪应用的高级编辑Genevieve Ko宣布了这一功能，用户可以通过该功能推荐食材和烹饪工具的替代品，还可以调整食谱的大小等等。
-
Wabi这款用于构建迷你应用程序的AI助手，在最新一轮融资后，其估值达到了12.5亿美元。
周四，AI应用程序Wabi宣布自己已经筹集了5500万美元的资金，其估值达到了12.5亿美元。该应用自称为“个人助手”类应用程序。
-
拉爆游戏引擎？深度拆解 Genie 4，从视频生成到世界控制，Google 要跨越什么？
动态条件注入、因果核验与异步协作的三大技术挑战，暴露出哪些致命的技术死角？ 作者丨 郑佳美 编辑丨岑 峰 刚刚，Google DeepMind 正式发布了新一代世界模型 Genie 4。 除了实时生成可交互环境，这次还有一个有意思的设计：Genie 4 负责生成世界，Gemini 3.8 Flash 负责观察画面、拆解任务，并根据执行情况调整计划。 Deep
-
DeepSeek 又一开源重器！深挖 DeepInfer 究竟藏着多少技术狠活？
单集群日处理约 155 万亿 Token，推理优化争夺毫秒。 作者丨 郑佳美 编辑丨岑 峰 昨天，DeepSeek 又在 GitHub 上开源了一个大项目，叫 DeepInfer。 这次没有发布新模型，放出来的是 DeepSeek-V4.1-Flash 背后的推理引擎，包含 MoE 专家并行、异步 Batch 调度、定制 Kernel 和推测解码等核心技术。
-
美国的反垄断监管机构正在对Nvidia与Hugging Face之间的合作以及其销售行为进行严格审查。
美国司法部正在调查Nvidia收购开源平台Hugging Face的计划。关于美国反垄断监管机构对Nvidia的这项交易及销售行为进行的审查的报道最初出现在《The Decoder》杂志上。
-
Mistral表示，其人工智能模型“Le Chonk”在开放重量级比赛中已经超越了中国选手。
这家法国人工智能实验室声称，他们的最新模型在编程能力和网络安全性能方面，甚至超越了DeepSeek和Z.ai所开发的最佳模型。
-
“人择原理”要求华尔街的人们相信通用人工智能的存在。
今天在Decoder节目中，我们有幸邀请到了SemiAnalysis公司的人工智能与芯片研究领域的分析师Joey Brookhart，他将帮助我们深入解读Anthropic公司上市文件中的各项数据信息。Anthropic公司刚刚在纳斯达克证券交易所提交了上市文件，预计很快就能开始上市交易了……
-
根据《纽约时报》的报道，中国间谍针对的是Nvidia公司的首席执行官Jensen Huang。
美国情报机构认为，英伟达首席执行官詹森·黄身边的一位高管其实是中国政府的线人。根据《纽约时报》的报道，这些中国间谍针对的是英伟达首席执行官詹森·黄。该文章首先发表在《The Decoder》上。
-
混合人工智能模式：将语言模型与规则结合的十三种方式，以及如何在这些模式中做出选择
作者：Siegfried Handschuh、Götz-Henrik Wiegand、Lorena Raichle | 语言模型能够很好地处理文本数据，而规则引擎则能够给出带有证明的结论。将这两种技术结合起来的系统通常可以通过实例来描述。同样的耦合方式在不同的代理框架、安全工具包以及神经符号研究领域中也存在。本文档定义了十三种将语言模型与可执行规则语言相结合
-
AI宇宙：一种适用于情境学习的智能代理系统
作者：AI Cosmos团队，周金锋，陈宇轩 | 大型语言模型在学习过程中确实能够提升任务表现，但这些提升并不一定能反映学习者之后独立应用所学知识的能力。我们提出了AI Cosmos这一面向情境学习的智能基础设施，该框架基于两个互补的原则来组织学习过程：基于场景的参与以及实践的累积成果。AI Cosmos
-
从单一数值中获取廉价的数据提取与观察信息：信息的价值
作者：Daniel Strauss、Nikolaos Sotirakis、Zhenshan Bing | 在强化学习中，记忆机制面临着两个问题。首先，注意力需要通过评估整个存储库中的信息来找到相关的项目，这对于在延迟和能量限制下的机器人来说是非常耗费资源的操作。其次，当某个记忆被重新激活时，获取该记忆的奖励必须贯穿整个序列。我们认为，这两个问题都可以用一个量
-
HEMO：实现多目标组合优化中的自我进化机制
作者：Jianghan Zhu, Cong Zhang, Ni Zhang 自动算子设计（AOD）越来越多地采用大型语言模型来生成适用于多目标组合优化问题的特定搜索算子及变异算子。然而，大多数方法在演化算子时，并未对发现算子的过程进行相应调整。这限制了算法的适应性，因为随着新的帕累托最优解以及算子之间的相互作用发生变化，搜索策略也需要进行相应的调整。
-
Anthropic的商业模式是：要么创造神，要么在尝试过程中死去。
Anthropic S-1似乎为该公司提供了足够的经济支持，使其能够在计算设备上投入尽可能多的资金。如果你也是那种会怀疑Anthropic是否真的在全力以赴地打造一台“机器之神”的人，同时又希望它能在华尔街市场上继续从事IT产品销售业务的话……
-
国际棋联：基于光纤技术的可微分实验设计，用于研究相对法则的动态行为
作者：Pietro Zanotta, Ján Drgoňa | 通常，聚合测量方法会导致所研究的种群规律缺乏明确的界定。因此，不同的测量系统同样适用于科学研究，但同时也会对不同规律的各个方面产生不同的影响。我们研究如何在保持原有模型的基础上解决这一剩余的设计自由度问题，即如何让现有的动态模型继续作为工作基础，而不需要明确指定各个量的具体数值。
-
人类与人工智能的互动作为一类一級数据：一种正式的互动模型以及用于实现可解释性人工智能协作的运行时机制
作者：Michela Taufer, Kin Ng, Ian Lumsden | 人工智能助手越来越被应用于计算笔记本、科学工作流程、软件工程工具以及学习系统中。然而，人类与人工智能的互动往往只是短暂的、基于提示的交流，而非可持续的数据产品。这阻碍了系统的可复现性、可解释性、重放功能、行为分析以及自适应型人工智能的支持。我们认为，这种互动方式构成了一种新的数
-
高效学习机制设计与复合性问题的方法
作者：João Pedro Gandarela, Thiago Rios, Stefan Menzel | 要理解机械装置的运作机制，就需要了解各个部件是如何共同制约运动的。我们研究了使用可重复使用的约束组件是否能提升有限数据下的预测能力。Assur-KB通过不可约模块、边界接口以及解决依赖关系来表示平面机械装置的结构，同时保留原始几何形状。我们的理论研究结
-
VLA信托应保留多少合理的理由？作为衡量行动价值的指导准则
作者：Dabin Seo, Eunhyek Joa | 推理-视语-行动（VLA）机制会生成一条推理路径，然后从中解码出相应的动作。如果推理路径有误，那么生成的动作也会出错；即便路径看起来正确，也可能误导后续的决策过程。目前的方法都是判断推理是否正确，而我们则试图确定这种推理应该具有多强的指导能力。CoC-CFG机制实现了一种无需分类器的引导方式，即让策略的
-
在Anthropic加强防御措施之后，OpenAI的Astra成为了中国人工智能实验室的主要攻击目标。
目前，中国的AI实验室主要使用OpenAI最强大的模型GPT-6 Astra，而不是Anthropic的Claude模型。这篇关于OpenAI的Astra成为中国AI实验室主要研究目标的文章，最初出现在The Decoder网站上。
-
通过超参数优化提升心房颤动的检测能力
作者：Sara Gjorgjieva, Ilinka Ivanoska, Marjan Gusev | 本研究探讨了超参数优化技术在提升心房颤动检测效果中的作用，同时运用了机器学习和深度学习方法。我们测试了多种标准分类器，如决策树、随机森林和XGBoost分类器，同时还使用了递归神经网络、深度神经网络以及孪生神经网络等深度学习架构。
-
一种基于物理信息的、具有不确定性感知功能的$p$-$n$结二极管的替代模型
作者：Suchita Kulkarni | 我们开发了一种考虑不确定性的物理关联替代模型，用于描述一维的$p$-$n$结二极管。该模型基于器件的尺寸、掺杂程度以及偏压等因素进行建模。通过利用该替代模型所预测的器件内部状态，我们构建了一组有用的测试指标，包括端电流、耗尽宽度、场强以及存储电荷等参数。这种模型形式及所使用的指标可以被进一步扩展应用。
-
周四推荐：GeForce NOW上推出了《幻影之刃零》
在这个万圣节期间，GFN Thursday带来了新一批精彩的游戏内容。S-GAME的《幻影之刃零》今天就在GeForce NOW上正式上线了，这款游戏融合了精彩的武术元素与朋克幻想风格，绝对值得一试。此外，对于冒险爱好者来说还有好消息：《魔兽世界：永恒》将于周三上线， […]
-
Deepgram收购了Pipecat-maker Daily公司，以加强其语音AI基础设施的建设。
通过Pipecat的助力，Deepgram有望更深入地了解实时语音和视频处理技术。
-
亚马逊更新了Alexa的功能，可以帮助您管理购物清单、订阅事项，以及更新配送信息。
此次更新使得你可以使用Alexa来创建列表、注册这些列表、查看其中的内容，还可以添加或编辑列表项。此外，你还可以管理订阅设置。
-
Gemini 4 Carbon是人工智能分析指数v5中的新榜首产品。
HN ⭐ 315 · 235条评论
-
Le Chonk：专为程序员打造，深受防御者信赖的产品。
Mistral Large 4（Le Chonk）的权重现在已经公开了。这是一个拥有1T参数的多模态模型，也是目前最适合用于编码任务的开源权重模型，该模型是在欧洲进行训练的。
-
31岁女工程师猝死，其生前按ChatGPT指示减药，还被告知「完全没必要担心」；美国一公司招人遛机器狗：时薪20美元，不用铲屎但得扛狗回来
要闻提示 1.31岁女工程师猝死，其生前按ChatGPT指示减药，还被告知“完全没有必要担心” 2.网友发视频称“医生用豆包开药”，涉事医院回应 3.米哈游通告：游戏泄密人员被判赔100万元 4.三家车企拟入选国家级名单：小米汽车位列第一 5.云鲸智能迎来品牌十周年：定位全球AI智能清洁专家，服务超600万家庭 6.阮瑜轮岗担任小度科技负责人，百度智能云事业
-
一些投资者认为，谷歌的AI搜索相关问题最终在财报中得到了体现。
在发布季度业绩报告后，谷歌的股价下跌了大约10%。云业务收入翻了一番多，达到307亿美元，但搜索业务的收入仅增长了12%，低于预期。谷歌承认，其快速发展的AI模式所带来的收入比传统搜索业务要少一些，因此公司正在国际范围内扩展其AI模式广告业务。有投资者认为，谷歌的AI搜索问题最终在业绩报告中得到了体现。这篇文章最初出现在《The Decoder》杂志上。
-
我们迫切需要实时监测AI代理的行为。
今年夏天，数百个OpenAI的智能体试图在网络安全测试中作弊。它们成功逃离了测试环境，并黑进了Hugging Face这个网站——它们认为该网站可能藏有关于评分方式的线索。与此同时，另一个OpenAI的智能体还访问了澳大利亚政府网站的私有文件。这确实是个问题……
-
挑战 ServiceNow：Serval CEO Jake Stauch 谈企业编程智能体与权限治理
📌 One-Sentence Summary Serval CEO Jake Stauch 认为，企业编程智能体需要确定性审批、受控提权与软件开发规范，才能安全地让 IT 团队和业务人员成为构建者。 📝 Summary Jake Stauch 将 Serval 定位为直接挑战 ServiceNow 的企业自动化和服务管理平台。他认为代码适合表达灵活的工作流，
-
人工智能已经威胁到了亚利桑那州的水资源
一个庞大的灰色巨人从沙漠中耸立起来。在它的内部，工程师们创造了推动我们手机、电脑、家用电器运转的动力——还有各种流媒体服务、搜索引擎、聊天机器人、以及那些由代码编写而成的应用程序和网站。这座建筑既庞大又笨重，与周围的山脉相比显得十分渺小；而它的范围则几乎是无穷无尽的。我开车经过其中一座建筑……
-
谷歌的Gemini 4 Carbon目前位居排行榜榜首。
此外，还可以使用Canva工具将提示内容转化为精美的海报设计。
-
我把自己的血液献给了那个AI死亡时钟
“死亡时钟”承诺能够预测你何时会去世，并帮助你延长在地球上的时光。一个月后，我就感觉自己仿佛被这种东西夺走了生命一般。
-
STEPX Neo 发布两周即迎首次升级，智能体能力持续释放
阶跃终端旗下大模型原生智能体手机 STEPX Neo 在发布两周后即迎来首次升级
-
中国MaaS市场TOP2，商汤大装置再度蝉联
在大模型私有化市场，商汤大装置以9.4%的市场份额，再次稳居第二位
-
抖音李亮发文：希望同行在阳光下竞争，专家自媒体要遵守基本道德规范
抖音李亮就短剧发展再发声，全文如下： 最近大家谈论短剧比较多，我也说一下我个人看法。短剧和传统的影视剧没有本质区别，只是载体不同，表现形式不同，没有哪个好，哪个不好。试想如果短剧改成45分钟一集，或90分钟一集，与电视剧、电影的区别大吗？我觉得核心是内容质量，短剧这个形态发展比较晚，在社会各界的关注和批评下，内容提升质量非常快，特别是大量的有知识有文化的创作
-
国家超算互联网调价：降低AI研发、调试成本
近日，国家超算互联网宣布最新价格调整，新用户可享DeepSeek-V4.1-Flash-1017、GLM-5.3-Flash两款前沿模型0.1元5000万tokens限时秒杀特惠；同时，多款新主流模型已纳入TokenPlan套餐池。此外，订阅TokenPlan用户还可享限时夜间免费模型权益：10月21日至30日，每晚21:00至次日09:00，Auto模型可
-
豆包工作向企业客户开放配置三方模型
为支持企业需求，豆包工作今日向客户开放三方大模型服务，首批将接入 Kimi 3.1 Pro、GLM 5.3、DeepSeek V4.1 Flash 等系列模型。 本次更新面向团队订阅版和企业订阅版客户开放。功能上线后默认直接开启，企业无需另行向模型厂商采购，也无需额外申请，后续按照用量扣除企业已有的 AI 点数，真正实现开箱即用。 在使用人群上，企业可以按照
-
我们是如何检测模型与实际情况不符的情况的
OpenAI采用多层监控机制，以检测模型之间的不匹配现象以及未经授权的代理行为。这样，在事件升级之前，相关人员就可以及时介入进行处理。
-
我们如何检测前沿模型失准
📌 One-Sentence Summary OpenAI 详述其多层监控系统，用于检测前沿 AI 模型中的失准行为，涵盖架构、已捕获的真实事件、评估方法，以及避免模型产生隐藏推理动机的挑战。 📝 Summary OpenAI 描述了其为 GPT-6 Astra 等前沿模型扩展的内部监控系统，该系统在 Hugging Face 事件暴露缺口后开发。系统采用四
-
蚂蚁灵光2.0打通钉钉、支付宝等数十项服务，加速走向“能管事”
AI从“会聊天”走向“能管事”，接入真实工作流是落地关键。继蚂蚁集团10月27日发布灵光2.0后，记者今日体验发现，新版灵光已进一步拓展跨平台连接能力，不仅原生打通支付宝生态，还接入了钉钉命令行接口（CLI）等数十项外部工具。 （图1：灵光App【我的服务】页面） 以钉钉为例，灵光2.0可在用户授权下调用钉钉的群聊、待办、日历、文档等能力，帮助用户处理家校群
-
AI安全是AI规模化应用“加速器”
AI安全不是AI发展的“刹车片”，而是AI高质量发展的“加速器”。
-
Infini-AI-Lab发布了Hermit，一个用于AI代理的开源接口适配框架。
Infini-AI-Lab发布了Hermit，这是一个Apache-2.0许可的框架，用于训练外部层的指令、技能、记忆以及工具等组件。这些外部组件会根据任务反馈来优化，而智能体的模型和相关框架则保持不变。该消息首次出现在MarkTechPost上。
-
Block推出了Dessa，这是一种仅基于语音数据训练的全双工语音模型。
Block的AI实验室发布了Dessa模型，这是一种全双工语音转语音模型，仅基于人类对话音频进行训练。该模型在MacBook Pro M4 Max上运行，不过Block并未公布其具体的规模、性能测试数据或权重信息。这篇题为“Block发布Dessa——一种仅基于语音对话进行训练的全双工语音模型”的文章最初出现在MarkTechPost网站上。
-
AssemblyAI的Ships产品——AssemblyAI-TTS-1：该API每100万字符收费15美元，适用于语音代理应用。
AssemblyAI刚刚发布了AssemblyAI-TTS-1模型，这是其首款用于语音代理的文本转语音模型。该模型的定价为每100万字符15美元，支持无限制并发处理，且启动时就支持6种语言。这篇关于AssemblyAI发布AssemblyAI-TTS-1的报道最初出现在MarkTechPost上。
-
大语言模型“收入榜”出炉，阿里云以46.6%份额居首
10月29日，国际数据公司（IDC）最新发布的《中国AI软件市场半年度追踪，26H1》显示，2026年上半年，阿里云在中国大语言模型MaaS市场的份额为46.6%，智谱、火山引擎分别以10.6%、10.2%位列第二、第三。
-
Ropes & Gray是如何开发用于交易审核的人工智能系统的？
Ropes & Gray正在与OpenAI合作，共同开发用于事务性审查的人工智能工具。律师们在为客户提供法律服务之前，会先对各类文档、摘要和报告进行审阅。
-
百望股份：企业AI最大的误区，是把所有流程都用AI重做一遍
如果要给过去两年企业AI应用的热潮找一句最有代表性的口号，“ 用AI把所有事情重新做一遍 ”，大概会是其中之一。 从客服、营销、研发，到财务、人力、采购，几乎每一个传统软件赛道都在寻找自己的AI版本：过去由人填写的表格变成AI生成，由人阅读的材料变成AI识别，由人点击的按钮变成Agent调用，那些已经被数字化、自动化改造过很多次的企业流程，也开始被重新包装成
-
奥特曼和Dario同台唱rap！Genspark新视频Agent上线，零基础也能拍短剧
All in one、任何人都能用
-
物理学也要被AI攻陷了？5道20多年量子公开问题被突破
MIT最后一位三学位天才出手了。
-
IDC最新报告：MaaS市场分化，PPIO拿下独立服务商首位
百亿MaaS市场格局生变
-
20人9个月，《不问凡尘》用AI搓出26万玩家买单的超写实互动作品
上线仅三周，《不问凡尘》就在 Steam 拿到87%的好评率，预估近千万流水，超26万玩家走进这个AI生成的修仙世界。支撑这款超写实互动作品研发与上线的，是一支约20人的团队。 AI在这里不是简单的提效工具，而是贯穿游戏资产生产、研发协作和交互实现的核心生产力。依托火山引擎的模型和云服务，《不问凡尘》用9个月完成开发上线，整体制作成本约是传统制作的1/3。
-
EP220 · Gemini Carbon 强化防御、Gamma 复盘智能体、Titus 谈工程教育
📝 今日导语 Carbon 推进自主防御，Gamma 复盘产品取舍，Titus 重审工程教育：理解能力如何转化为可靠交付。 🏷 今日关键词： Gemini Carbon Gamma 工程教育 专家判断 AI 交付 📰 今日精选内容 Gemini 4 Carbon：我们的下一代前沿模型 Google DeepMind News · 文章 · 评分 93 Gam
-
敢和英伟达现场PK的国产GPU，我是服的
跟H200和Thor T5000硬碰硬
-
[AINews] Gemini 4 Carbon型号在市场上表现优异，已成为网络防护领域的首选产品。
谷歌的新款前沿模型在独立评估中表现优异，目前该模型的访问权限仅限于那些被信任的开发者。
-
TRAE上线开发者个人助理“TRAE宝”
10月29日，AI开发产品TRAE正式上线开发者个人助理“TRAE宝”。与此前围绕单次任务展开的Agent对话不同，TRAE宝将双层助理体系引入开发工作流，让 AI 持续理解开发者长期积累的项目、任务与决策，而非仅响应当前的某一条指令。 长期以来，用户在AI开发过程中的时间消耗不仅在于写代码本身，而且大量花费在项目拆解、任务分派以及多个会话之间的来回切换。新
-
NVIDIA发布了Nemotron 3.5 Transcribe模型：这是一个开放的30亿参数语言转录模型，能够处理40种语言的数据处理任务，其中约有4亿个活跃参数用于文本转录操作。
NVIDIA发布了Nemotron 3.5 Transcribe模型，这是一种开放权重语音语言模型，拥有43亿个活跃参数。该模型能够转录40种语言的内容，同时还能添加说话者标签和单词时间戳等信息。在英文开放式自动语音识别评测中，该模型的准确率达到了4.71%。相关报道可参考MarkTechPost上的文章《NVIDIA发布Nemotron 3.5 Trans
-
克劳德·科德伯恩斯会在一条三个单词的状态信息中消耗掉你大约15-20%的代币。
HN ⭐ 159条评论
-
文远知行001号员工带队，景烁科技首轮融资数千万美元
10月29日，文远知行披露旗下子公司景烁科技首次融资进展
-
商场的黄金铺位，为什么换成了3D打印机？
在过去的十一假期，拓竹科技一口气开了两家商场品牌店，位于上海和北京，现在其线下渠道已覆盖国内100多座城市，销售触点突破400个。 在一二线城市顶级商圈的显眼位置，可能会看见一台台3D打印机和围着看的好奇消费者。如果假期到访，往往在开门前就已聚集起不少家长和小朋友，等着进店参观或报名体验课。 这些门店给商场带来了新业态。许多小朋友在店里看一卷卷耗材被抽出细线
-
小雨智造与国家钢结构质检中心共建实验室，乔忠良：具身智能新质生产力已成事实
2026年10月27日，“工业具身智能焊接与检测技术联合实验室”正式揭牌成立。
-
瞄准高性能硬件需求，3C卖家如何切入东南亚细分市场？
一场游戏能否流畅运行，往往取决于电脑里那些不太起眼的硬件。从运行速度、画面表现到设备稳定性，对于热衷电竞的消费者而言，一块性能更好的硬件，带来的可能是截然不同的游戏体验。而在东南亚，随着电竞、移动办公等数字生活场景不断丰富，消费者对3C产品的需求也变得更加多元。 这种变化正为中国3C卖家带来新的市场机会。Shopee平台数据显示，2025年12月，电脑及配件
-
刚刚，扩散模型杀进Agent主场！350亿参数，速度比Jev快一倍
用扩散模型怎么做做Agent？
-
抢跑双11开门红，这些品牌如何凭“好货与好策略”率先突围？
2026年抖音商城双11好物节开门红阶段已经打响，各行业品牌稳扎稳打、实现生意增长。在流量与销量的双重角逐中，打动消费者的不再局限于价格。将 优质的商品供给、丰富的内容生态、有竞争力的价格与稳定的履约服务相结合，同时善用智能工具提效， 是品牌在双11 实现增长的重要路径。 本文将拆解7大品牌在开门红阶段的高光表现，详细分析他们如何通过精细化运营抢占生意先机，
-
24万开卖！理想重造i6，李想：目标全球畅销
理想今年最后一场发布会，自研电池芯片全部上车
-
MicroZig采用严格的禁止使用大型语言模型/人工智能系统的政策
HN ⭐ 9条评论
-
《纽约时报》在其烹饪应用上增加了更多人工智能功能。不过，用户对此并不满意。
HN ⭐ 16 · 8条评论
-
释放 Tensor Core 性能：加速机器学习原子间势
📌 One-Sentence Summary NVIDIA 展示了基于 Tensor Core 的 FP32 方法（BF16x9 与 TF32x3）如何在保持原子模拟所需数值精度的同时，加速机器学习原子间势（MLIP）。 📝 Summary 原子模拟需要在计算成本与精度之间做出权衡。机器学习原子间势（MLIP）借助神经网络弥合了这一差距，但通常需要 FP32
-
刚刚，Gemini 4 Carbon全面超越Opus 5.5！首发Token半价
能连肝数日修Bug，免疫提示词注入
-
使用 A2UI 与 CopilotKit 智能体构建生成式 UI 应用
📌 One-Sentence Summary 本文介绍 A2UI 与 CopilotKit，这是一个利用声明式数据而非原始代码，为 AI 智能体构建安全、双向生成式 UI 的框架。 📝 Summary 文章探讨了从基于文本的 AI 交互向生成式 UI 的转变。文中介绍了 A2UI（Agent-to-UI），这是一个与框架无关的标准，允许智能体以数据形式描述界
-
Managed Deep Agents v0.10：浏览器使用与异步子智能体
📌 One-Sentence Summary LangChain 发布 Managed Deep Agents v0.10，引入面向无 API 网站的浏览器能力，以及可处理长时间运行任务而不阻塞主智能体的异步子智能体。 📝 Summary 此次 Managed Deep Agents 框架更新新增两大功能：浏览器使用，让智能体能够与没有 API 的网站交互，
-
引用泰德·桑德斯的话
总体而言，大型语言模型的性能具有非常多的维度。无法保证那种在数学方面表现最佳的模型在幽默表达方面也一定是最出色的。尽管存在这种复杂性，但性能差异的大部分其实都可以用一个简单的变量来解释：模型的大小。一般来说，规模较大的模型会：(a) 拥有更高的性能/可靠性；(b) 每处理一个令牌所需的成本更高；(c) 对一些复杂信息的记忆能力更强。正如您所指出的，我们的模型
-
亚当·莫瑟里表示，关于人工智能的负面舆论“将会越来越严重”。
当被问及人工智能现象以及大学生在毕业典礼上拒绝欢迎科技行业CEO的情况时，Instagram的负责人亚当·莫塞尔在采访中承认，很多人真的不喜欢人工智能，而且不只是年轻人和创意人士如此。他在Colin和Samir的播客节目中谈到了宽屏模式的推出以及……
-
Anthropic 每日合并 3 万次代码变更的背后：软件工厂如何验证与问责
📌 One-Sentence Summary Manish Kapur 与 Addy Osmani 讨论如何通过分层验证、智能体提供的测试证据和明确的人类责任，让软件工厂安全扩大自动化规模。 📝 Summary Manish Kapur 与 Addy Osmani 讨论代码生成超过人工审查速度后，谁来验证软件工厂的产出。他们区分仍由人参与判断的明灯工厂与人主
-
微软刚刚公布了Azure的实际收入数据：332亿美元。
微软从未公开过Azure的季度收入数据。但这一次，我们终于可以了解到，Azure正在逐渐接近其最大的竞争对手——AWS的水平。
-
随着核心广告增长放缓，谷歌在全球范围内扩大了AI搜索广告的投放范围。
这一公告与母公司Alphabet第三季度的财报同时发布。根据财报数据，该公司营收同比增长了25%，达到1276亿美元。
-
微软从OpenAI那里获得了100亿美元的收入。
微软表示，在截至9月30日的这一季度中，通过与OpenAI的合作所获得的收入达到了100亿美元，其中包括了收益分享款项。这进一步凸显了这种合作关系在财务上的巨大依赖性。
-
阿凯以开源的MPC技术，积极推广这些具有独特风格的mods。
MPC的样机密钥甚至还没有正式公布，但Akai已经通过“氛围编码”技术展示了modding社区所创造出的创新成果。Akai决定让那些热衷于开发自定义固件的黑客们能够提前使用这款设备，而该设备的固件采用开源方式实现。很可能，这款设备会运行……
-
微软连续10个季度实现创纪录的收入增长
无论人工智能的未来会如何发展，目前的情况对微软来说仍然非常有利。这家科技巨头在周三又创下了季度收入的新纪录：923亿美元，比去年同期增长了19%。
-
有消息称，有4.1万名国土安全部门工作人员的身份被泄露了，其中包括一些从事秘密工作的移民与海关执法局人员。
HN ⭐ 271 · 129条评论
-
在企业背景下创造AI价值
在一个企业中，可能会同时运行着多种人工智能平台、系统以及工具——比如，由人工智能驱动的客户服务平台、对话式助手，以及工作流程与流程自动化工具。这些工具都相当先进且反应迅速。但是，当它们协同工作时，所产生的结果和采取的行动可能会出现错误、混乱或缺乏效率等问题。
-
谷歌推出了Gemini 4 Carbon版本产品，该产品的网络安全性能有了显著提升。
谷歌发布了其最新一代人工智能模型——Gemini 4 Carbon。该模型在编程、智能任务处理以及网络安全领域都取得了显著进步。在周三的公告中，谷歌指出Gemini 4 Carbon在人工智能分析指数（版本5.0）的测试中表现最佳，而Claude Opus 5.5和GPT-6 Astra则位于其后。新的Gemini 4 Carbon模型在多个方面都进行了优化
-
为什么代理们喜欢Supabase呢？
保罗·科普尔斯顿和安特·威尔逊关于构建人工智能代理后端系统的讨论
-
Anthropic刚刚推出了一些工具，可以帮助企业了解他们的AI投资所购买的产品/服务。
这家公司正在公开展示用户在其产品上的消费情况，为即将进行的首次公开募股做准备。
-
谷歌DeepMind在《Argon》发布仅两周后，就推出了《Gemini 4 Carbon》版本。这款产品的各项性能都有了显著提升。
在Gemini 4 Argon发布仅两周后，Google DeepMind又推出了Gemini 4 Carbon模型。该模型在《人工智能分析指数v5》中排名首位，获得了59分。谷歌表示，该模型旨在支持持续运行的人工智能工作流以及完整的网络安全防护流程。由于具备这些先进的安全功能，目前该模型的访问权限仅限于选定的安全专家。关于Google DeepMind在G
-
Wiz的CTO谈PHP2Shell以及即将到来的“漏洞大爆发”事件
虽然关于PHP的恐慌可能已经消退，但清理工作远未结束。上周，这种开源编程语言中存在的两个严重漏洞导致许多网站面临系统修复的紧急需求，一些网站甚至不得不暂时关闭，直到这些漏洞得到修复为止。据发现这些漏洞的研究人员称……
-
保留行动自由：RAND 谈美国如何制定超级智能战略
📌 One-Sentence Summary RAND 研究者主张，在超级智能的关键假设尚未明朗时，美国应先建设通用能力，保留战略选择空间与人的决策权。 📝 Summary Joel Predd、Ben Boudreaux 和 Matt Chessen 将超级智能战略分为加速、主导、共同开发、应对准备、暂停、威慑和社会延续七类，并用危险是否临近、能否共存、能
-
Wiz公司的首席技术官表示，所谓的“Vulnpocalypse”即将降临到那些过时的互联网代码中。
虽然关于PHP的恐慌可能已经逐渐消退，但相关的清理工作还远未结束。上周，这种开源编程语言中存在的两个严重漏洞导致大约70%的网站受到影响，许多组织不得不紧急修复系统问题，有些网站甚至被迫暂停运行，直到这些漏洞得到修复为止。据发现这些漏洞的研究人员称……
-
谷歌宣布了其最新的前沿AI模型——Gemini 4 Carbon，不过需要注意的是，该模型目前尚无法被实际使用。
Gemini 4 Carbon实际上是一种改进版的Argon型号。
-
微软正在停止对智能电视设备的Copilot功能的支持。
在LG和Samsung在2025年CES展上宣布他们的新型智能电视将支持Microsoft的Copilot功能之后，已经过去了近两年。根据Windows Central的报道，这家公司今年决定将Copilot功能从所有电视产品中移除。这一消息并非来自LG或Samsung的官方声明……
-
我让一群人工智能代理来管理一支幻想足球队。它们并不比人类更出色——不过至少也不差到哪里去。
为了测试人工智能的预测能力，我让Codex在一个幻想球队中进行了实验。起初，它试图让埃尔林·哈兰德无法上场，但很快它就意识到自己的做法是错误的。
-
在 Amazon Bedrock AgentCore 上构建智能AI平台
在Amazon Bedrock AgentCore上搭建一个可管理的、支持多账户的AI平台。本文将介绍该平台的架构以及开源参考蓝图：包括操作系统、控制层、按工作流程划分的组件、独立的推理与工具接口，还有用于在生产环境中对各个组件进行管控的CI/CD评估流程。
-
在EKS上使用Ray Train DLCs和EFA进行分布式训练
Ray Train深度学习容器包含了完整的CUDA到EFA的堆栈，因此无需自行构建任何镜像。本文展示了如何通过Amazon EKS上的两台支持EFA的g6.12xlarge实例，利用该容器，在八台GPU上使用PyTorch FSDP对Qwen2.5-1.5B进行微调的示例流程。具体操作方式可以参考该容器的说明文档。
-
利用Amazon Nova Act实现软件交付的加速——第三部分
随着测试自动化在整个组织中的普及，如何组织测试以及明确谁负责这些测试就成为了一项重要的工作。亚马逊Nova Act相关的QA Studio系列文档的第三部分介绍了一些能够组织测试并报告相关健康指标的工具，同时还提供了基于团队的用户管理功能，从而控制哪些人可以查看和修改某些内容。
-
在人工智能时代，系统思维至关重要。
在现代工程项目当中，人类的判断与机器能力越来越被结合使用。工程师可以定义问题，然后让人工智能工具来搜索相关的研究资料和技术标准，生成设计方案，并在模拟环境中对这些方案进行测试，进而比较各种方案的结果。之后，工程师可以将这些结果呈现给那些能够理解人工智能无法自行判断的问题的专家，比如某个设计是否可以在实际环境中安全实施，它在特定环境下是否合理，或者它会对用户产
-
谷歌DeepMind推出了Gemini 4 Carbon模型，这是其专为网络安全与编程领域设计的最先进模型。
谷歌DeepMind推出了Gemini 4 Carbon模型，该模型在人工智能评估指标中获得了59分，在SEC-bench Pro测试中的得分达到了88.2%。该模型的访问权限适用于经过审核的网络安全防护服务用户，每百万代币的定价为2美元/10美元。这篇关于谷歌DeepMind推出Gemini 4 Carbon模型的报道首次出现在MarkTechPost上。
-
当被问及2020年选举中谁获胜时，谷歌的AI表现得很谨慎。
但是，当提问的地点不在美国时，人工智能的回复就变得更加直接了。
-
GitHub - divagr18/qwenputer：一台被编译进语言模型权重中的计算机。Qwen3.5-4B 内部的一颗精确 CPU，以 Gated DeltaNet 状态作为内存。
📌 One-Sentence Summary Qwenputer 是一个实验性模型，它将一颗 32 位 RISC-V CPU 直接嵌入 Qwen3.5-4B 的权重之中，并利用模型自身的 Gated DeltaNet 状态作为内存，从而执行精确的算术计算。 📝 Summary Qwenputer 代表了一种模型增强的新思路：将完整的 RISC-V CPU 架
-
PyTorch 2.15 发布博客
📌 One-Sentence Summary PyTorch 2.15 在分布式训练方面带来重大改进，包括重写的 NCCL 后端和单边传输，同时提升了低精度解码性能，并扩展了对 Apple Silicon 和 ROCm 的平台支持。 📝 Summary PyTorch 2.15 版本引入了重写的 NCCL 后端并成为默认选项，通过飞行记录器提供更好的调试能力
-
MiniMax开源的MCode代码库：编程团队每天使用的15种常用技能
MiniMax已经将MCode Stack开源了。这是一个由MIT授权开发的仓库，其中包含17种SKILL.md模板以及5份检查清单。MiniMax的编码团队每天都会使用这些工具来进行代码审查、子代理分配、上下文预算管理以及长期运行的命令处理工作。这篇题为“MiniMax开源MCode Stack：编码团队每天使用的15种代理技能”的文章最初发表在MarkT
-
Gemini 4 Carbon：我们的下一代前沿模型
📌 One-Sentence Summary Google DeepMind 推出 Gemini 4 Carbon，这是一款面向网络安全与长周期推理的最先进模型，在 Artificial Analysis 智能指数上排名第一，并在漏洞检测、利用与修复基准测试中展现出显著提升。 📝 Summary Gemini 4 Carbon 是 Google DeepMi
-
谷歌 DeepMind 发布 Gemini 4 Carbon：AI 网络安全与长视界推理的新前沿
📌 One-Sentence Summary 谷歌 DeepMind 推出 Gemini 4 Carbon，这款尖端模型在网络安全威胁分析与复杂长视界决策任务中均达最先进水平。 📝 Summary 该推文宣布了谷歌 DeepMind 最新模型 Gemini 4 Carbon 的发布。此次发布标志着领域的重大进展，因模型在两个关键维度表现卓越：网络安全——能够
-
Chrome浏览器基于人工智能的自动填充功能现在可以浏览你的Gmail账户，从而帮助您填写各种表单。
这一自动填充功能更新后，Chrome浏览器可以在获得您许可的情况下，从您的收件箱中提取航班确认信息、行程跟踪数据、订单详情以及其他相关信息。
-
随着AI代理不断改变互联网的格局，谷歌正在让Gemini和Search功能能够被更多的应用所使用。
一个新的开发平台将使企业能够将其服务整合到谷歌的人工智能体验中，这可能会改变消费者发现和使用应用程序的方式。
-
Chrome的增强型自动填充功能现在可以从Gmail中提取信息，帮助你填写表单。
自从去年Chrome浏览器升级了自动填充功能后，该功能已经能够利用来自Google账户以及Google钱包等服务的个人信息来提供建议。现在，Chrome的自动填充功能将进一步扩展其功能。从今天开始，Chrome的自动填充功能将使用Gemini与Personal Intelligence相结合的方式，从Gmail中获取信息，从而可能节省更多时间。……
-
谷歌开放了Android开发接口，允许第三方人工智能代理进行开发，同时推出了新的Gemini应用程序接口。
谷歌正在将Android Studio的使用权限开放给第三方人工智能代理。通过新的“自带代理”功能，该开发环境现在支持超过40种编程代理，其中包括Anthropic公司的Claude代理以及OpenAI的Codex代理。谷歌表示，新的终端工具能够帮助代理以更快的速度完成用户界面任务，同时使用的标记数量也减少了三分之一。现在，Android开发也开始以代理为中
-
GitHub 2026年十月大事记
在今天的GitHub大会上，EVP Jay Parikh宣布了今年的Octoverse报告。报告中特别提到了一些数据：这些数字充分显示了“代理工程”技术在GitHub上的重要作用。在2026年，合并的拉取请求数量在不到一年的时间内增加了两倍，每月达到2.2亿个。提交次数也增加了三倍多，达到每月73.8亿次，其中大部分增长发生在今年下半年。新仓库的数量也翻了一
-
OpenAI宣布将在欧洲地区推出Dots平台，但其柏林开发大会实际上主要是为了构建该平台的框架。
在柏林的DevDay大会上，OpenAI主要重复了之前宣布的内容，但也透露了一些新的信息。该AI助手Dots预计将在“几周内”在欧洲更广泛地应用；自1月以来，德国地区的每周使用Codex的用户数量已经增长了20倍。会议过程中不断提到ChatGPT每周12亿的用户数量，这显然表明OpenAI希望开发者能够直接在其平台上开展业务。这篇关于OpenAI推出Dots
-
Claude for Legal现在能够自动验证信息来源，然后会将文件交给律师处理。
“Anthropic”为Claude for Legal提供了一些预构建的模板。这些交互式概览和表格能够简化法律团队的设置流程，加快合同审核等常规工作的完成速度。此外，还有超过60种集成功能，使得律师事务所可以直接将自身的数据库与Claude for Legal连接在一起。值得一提的是，Claude for Legal现在能够自动验证资料来源，并将文件直接交
-
Meta表示，可能会再次推迟其有争议的新商业条款的发布时间。
Meta表示，可能会将新业务条款的实施时间推迟到11月20日之后，因为该公司面临着来自出版商的强烈反对，这些反对主要集中在人工智能训练相关的问题上。在X平台上的一篇帖子中，Meta的沟通负责人Andy Stone表示，公司“并不打算在没有与行业团体和领导者充分协商的情况下就进行政策调整”。 […]