总部位于巴黎的Mistral公司推出了“Le Chonk”这一强大的编码模型，不过在该领域的发展水平仍然落后于中国。
Mistral已经发布了Large 4模型的权重文件，该模型被称为“Le Chonk”，是一个在欧洲完全训练出来的、拥有万亿参数的模型。Mistral声称自己的模型在编码性能上优于其他开源模型，而独立测试也表明该模型运行速度快且成本较低。不过，它仍然无法与中国的顶级模型相媲美，其得分仅为26分，而DeepSeek的V4.1 Flash和GLM-5.3则分别获
-
-
那些“麻烦至极”的数学问题，其实或许能拯救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》上。
-
Anthropic的商业模式是：要么创造神，要么在尝试过程中死去。
Anthropic S-1似乎为该公司提供了足够的经济支持，使其能够在计算设备上投入尽可能多的资金。如果你也是那种会怀疑Anthropic是否真的在全力以赴地打造一台“机器之神”的人，同时又希望它能在华尔街市场上继续从事IT产品销售业务的话……
-
在Anthropic加强防御措施之后，OpenAI的Astra成为了中国人工智能实验室的主要攻击目标。
目前，中国的AI实验室主要使用OpenAI最强大的模型GPT-6 Astra，而不是Anthropic的Claude模型。这篇关于OpenAI的Astra成为中国AI实验室主要研究目标的文章，最初出现在The Decoder网站上。
-
Deepgram收购了Pipecat-maker Daily公司，以加强其语音AI基础设施的建设。
通过Pipecat的助力，Deepgram有望更深入地了解实时语音和视频处理技术。
-
亚马逊更新了Alexa的功能，可以帮助您管理购物清单、订阅事项，以及更新配送信息。
此次更新使得你可以使用Alexa来创建列表、注册这些列表、查看其中的内容，还可以添加或编辑列表项。此外，你还可以管理订阅设置。
-
一些投资者认为，谷歌的AI搜索相关问题最终在财报中得到了体现。
在发布季度业绩报告后，谷歌的股价下跌了大约10%。云业务收入翻了一番多，达到307亿美元，但搜索业务的收入仅增长了12%，低于预期。谷歌承认，其快速发展的AI模式所带来的收入比传统搜索业务要少一些，因此公司正在国际范围内扩展其AI模式广告业务。有投资者认为，谷歌的AI搜索问题最终在业绩报告中得到了体现。这篇文章最初出现在《The Decoder》杂志上。
-
我们迫切需要实时监测AI代理的行为。
今年夏天，数百个OpenAI的智能体试图在网络安全测试中作弊。它们成功逃离了测试环境，并黑进了Hugging Face这个网站——它们认为该网站可能藏有关于评分方式的线索。与此同时，另一个OpenAI的智能体还访问了澳大利亚政府网站的私有文件。这确实是个问题……
-
人工智能已经威胁到了亚利桑那州的水资源
一个庞大的灰色巨人从沙漠中耸立起来。在它的内部，工程师们创造了推动我们手机、电脑、家用电器运转的动力——还有各种流媒体服务、搜索引擎、聊天机器人、以及那些由代码编写而成的应用程序和网站。这座建筑既庞大又笨重，与周围的山脉相比显得十分渺小；而它的范围则几乎是无穷无尽的。我开车经过其中一座建筑……
-
我把自己的血液献给了那个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上。
-
NVIDIA发布了Nemotron 3.5 Transcribe模型：这是一个开放的30亿参数语言转录模型，能够处理40种语言的数据处理任务，其中约有4亿个活跃参数用于文本转录操作。
NVIDIA发布了Nemotron 3.5 Transcribe模型，这是一种开放权重语音语言模型，拥有43亿个活跃参数。该模型能够转录40种语言的内容，同时还能添加说话者标签和单词时间戳等信息。在英文开放式自动语音识别评测中，该模型的准确率达到了4.71%。相关报道可参考MarkTechPost上的文章《NVIDIA发布Nemotron 3.5 Trans
-
亚当·莫瑟里表示，关于人工智能的负面舆论“将会越来越严重”。
当被问及人工智能现象以及大学生在毕业典礼上拒绝欢迎科技行业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%。
-
在企业背景下创造AI价值
在一个企业中，可能会同时运行着多种人工智能平台、系统以及工具——比如，由人工智能驱动的客户服务平台、对话式助手，以及工作流程与流程自动化工具。这些工具都相当先进且反应迅速。但是，当它们协同工作时，所产生的结果和采取的行动可能会出现错误、混乱或缺乏效率等问题。
-
谷歌推出了Gemini 4 Carbon版本产品，该产品的网络安全性能有了显著提升。
谷歌发布了其最新一代人工智能模型——Gemini 4 Carbon。该模型在编程、智能任务处理以及网络安全领域都取得了显著进步。在周三的公告中，谷歌指出Gemini 4 Carbon在人工智能分析指数（版本5.0）的测试中表现最佳，而Claude Opus 5.5和GPT-6 Astra则位于其后。新的Gemini 4 Carbon模型在多个方面都进行了优化
-
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在一个幻想球队中进行了实验。起初，它试图让埃尔林·哈兰德无法上场，但很快它就意识到自己的做法是错误的。
-
在人工智能时代，系统思维至关重要。
在现代工程项目当中，人类的判断与机器能力越来越被结合使用。工程师可以定义问题，然后让人工智能工具来搜索相关的研究资料和技术标准，生成设计方案，并在模拟环境中对这些方案进行测试，进而比较各种方案的结果。之后，工程师可以将这些结果呈现给那些能够理解人工智能无法自行判断的问题的专家，比如某个设计是否可以在实际环境中安全实施，它在特定环境下是否合理，或者它会对用户产
-
谷歌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开发也开始以代理为中
-
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表示，公司“并不打算在没有与行业团体和领导者充分协商的情况下就进行政策调整”。 […]