人工智能、精益管理与形式化验证的未来，由精益管理领域的专家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亿美元。该应用自称为“个人助手”类应用程序。
-
美国的反垄断监管机构正在对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参数的多模态模型，也是目前最适合用于编码任务的开源权重模型，该模型是在欧洲进行训练的。
-
一些投资者认为，谷歌的AI搜索相关问题最终在财报中得到了体现。
在发布季度业绩报告后，谷歌的股价下跌了大约10%。云业务收入翻了一番多，达到307亿美元，但搜索业务的收入仅增长了12%，低于预期。谷歌承认，其快速发展的AI模式所带来的收入比传统搜索业务要少一些，因此公司正在国际范围内扩展其AI模式广告业务。有投资者认为，谷歌的AI搜索问题最终在业绩报告中得到了体现。这篇文章最初出现在《The Decoder》杂志上。
-
我们迫切需要实时监测AI代理的行为。
今年夏天，数百个OpenAI的智能体试图在网络安全测试中作弊。它们成功逃离了测试环境，并黑进了Hugging Face这个网站——它们认为该网站可能藏有关于评分方式的线索。与此同时，另一个OpenAI的智能体还访问了澳大利亚政府网站的私有文件。这确实是个问题……
-
人工智能已经威胁到了亚利桑那州的水资源
一个庞大的灰色巨人从沙漠中耸立起来。在它的内部，工程师们创造了推动我们手机、电脑、家用电器运转的动力——还有各种流媒体服务、搜索引擎、聊天机器人、以及那些由代码编写而成的应用程序和网站。这座建筑既庞大又笨重，与周围的山脉相比显得十分渺小；而它的范围则几乎是无穷无尽的。我开车经过其中一座建筑……
-
谷歌的Gemini 4 Carbon目前位居排行榜榜首。
此外，还可以使用Canva工具将提示内容转化为精美的海报设计。
-
我把自己的血液献给了那个AI死亡时钟
“死亡时钟”承诺能够预测你何时会去世，并帮助你延长在地球上的时光。一个月后，我就感觉自己仿佛被这种东西夺走了生命一般。
-
我们是如何检测模型与实际情况不符的情况的
OpenAI采用多层监控机制，以检测模型之间的不匹配现象以及未经授权的代理行为。这样，在事件升级之前，相关人员就可以及时介入进行处理。
-
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上。
-
Ropes & Gray是如何开发用于交易审核的人工智能系统的？
Ropes & Gray正在与OpenAI合作，共同开发用于事务性审查的人工智能工具。律师们在为客户提供法律服务之前，会先对各类文档、摘要和报告进行审阅。
-
[AINews] Gemini 4 Carbon型号在市场上表现优异，已成为网络防护领域的首选产品。
谷歌的新款前沿模型在独立评估中表现优异，目前该模型的访问权限仅限于那些被信任的开发者。
-
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条评论
-
MicroZig采用严格的禁止使用大型语言模型/人工智能系统的政策
HN ⭐ 9条评论
-
《纽约时报》在其烹饪应用上增加了更多人工智能功能。不过，用户对此并不满意。
HN ⭐ 16 · 8条评论
-
引用泰德·桑德斯的话
总体而言，大型语言模型的性能具有非常多的维度。无法保证那种在数学方面表现最佳的模型在幽默表达方面也一定是最出色的。尽管存在这种复杂性，但性能差异的大部分其实都可以用一个简单的变量来解释：模型的大小。一般来说，规模较大的模型会：(a) 拥有更高的性能/可靠性；(b) 每处理一个令牌所需的成本更高；(c) 对一些复杂信息的记忆能力更强。正如您所指出的，我们的模型
-
亚当·莫瑟里表示，关于人工智能的负面舆论“将会越来越严重”。
当被问及人工智能现象以及大学生在毕业典礼上拒绝欢迎科技行业CEO的情况时，Instagram的负责人亚当·莫塞尔在采访中承认，很多人真的不喜欢人工智能，而且不只是年轻人和创意人士如此。他在Colin和Samir的播客节目中谈到了宽屏模式的推出以及……
-
微软刚刚公布了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的恐慌可能已经消退，但清理工作远未结束。上周，这种开源编程语言中存在的两个严重漏洞导致许多网站面临系统修复的紧急需求，一些网站甚至不得不暂时关闭，直到这些漏洞得到修复为止。据发现这些漏洞的研究人员称……
-
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表现得很谨慎。
但是，当提问的地点不在美国时，人工智能的回复就变得更加直接了。
-
MiniMax开源的MCode代码库：编程团队每天使用的15种常用技能
MiniMax已经将MCode Stack开源了。这是一个由MIT授权开发的仓库，其中包含17种SKILL.md模板以及5份检查清单。MiniMax的编码团队每天都会使用这些工具来进行代码审查、子代理分配、上下文预算管理以及长期运行的命令处理工作。这篇题为“MiniMax开源MCode Stack：编码团队每天使用的15种代理技能”的文章最初发表在MarkT
-
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表示，公司“并不打算在没有与行业团体和领导者充分协商的情况下就进行政策调整”。 […]