https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🆓免费AI聊天 https://free.netfly.top
✨BEST AI中转 https://api.oaibest.com 2.8-4.2折 支持OpenAI, Claude, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🆓免费AI聊天 https://free.netfly.top
✨BEST AI中转 https://api.oaibest.com 2.8-4.2折 支持OpenAI, Claude, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
AI 编码智能体 Devin 的开发商Cognition 收购 Windsurf
AI编程智能体Devin背后的初创公司Cognition周一在一篇博客文章中宣布，已签署最终协议，收购AI编程初创公司Windsurf。此前，在OpenAI 30亿美元收购Windsurf的报价到期数小时后，谷歌以24亿美元挖走了Windsurf的首席执行官Varun Mohan、联合创始人Douglas Chen以及研究主管，这家初创公司250人的团队中的大部分成员也因此被遗留。Cognition 表示，它正在收购 Windsurf 的知识产权和产品，包括其人工智能驱动的 IDE，以及所有未被谷歌聘用的员工。Cognition 在其新闻稿中还指出，Windsurf 现在将再次完全访问 Claude 系列模型。
—— TechCrunch
via 风向旗参考快讯 - Telegram Channel
AI编程智能体Devin背后的初创公司Cognition周一在一篇博客文章中宣布，已签署最终协议，收购AI编程初创公司Windsurf。此前，在OpenAI 30亿美元收购Windsurf的报价到期数小时后，谷歌以24亿美元挖走了Windsurf的首席执行官Varun Mohan、联合创始人Douglas Chen以及研究主管，这家初创公司250人的团队中的大部分成员也因此被遗留。Cognition 表示，它正在收购 Windsurf 的知识产权和产品，包括其人工智能驱动的 IDE，以及所有未被谷歌聘用的员工。Cognition 在其新闻稿中还指出，Windsurf 现在将再次完全访问 Claude 系列模型。
—— TechCrunch
via 风向旗参考快讯 - Telegram Channel
据媒体报道，英伟达CEO黄仁勋近日公开驳斥了一项麻省理工学院（MIT）的研究结论。该研究认为频繁使用AI（如依赖ChatGPT撰写论文）会导致用户认知能力下降，表现为大脑活跃度降低，在神经反应、语言表达、行为表现方面下滑，后期甚至出现直接复制粘贴、缺乏独立思考的现象。
黄仁勋坦言自己尚未阅读该报告，但明确表示不认同其结论。他现身说法：“我每天都用AI，但我感觉自己的认知能力不是在退步，而是在进步。”
他强调，关键在于使用方法——他从不允许AI替代思考，而是将其视为强大的学习工具，“让我理解不懂的知识，或协助解决原本难以处理的问题”。
黄仁勋特别指出，有效使用AI绝非被动接收信息，而是一个主动思考的过程。他认为，提出高质量问题的能力本身就是一种“高阶认知能力”。“当我跟AI互动时，本质上是在不断发问。想要提出好问题，就必须动脑、分析、推理。”他解释道。
他分享了自己的实践方法：不满足于AI的第一轮回答，会进行追问并与其他AI工具交叉验证。“我常问第一个AI，‘这是你能想到的最佳答案吗？’然后再把答案交给另一个AI，让它来评估前一个回答的质量。”他将此过程比作“听取三个人的意见”，认为这有助于培养批判性思维。
因此，黄仁勋坚信，正确使用AI不仅不会削弱智力，反而能提升人的认知水平。他建议：“每一个参与这类实验的人，都应学会批判性地看待AI给出的答案。”
对于AI领域的年轻从业者，黄仁勋也给出了他的洞见：“你们必须意识到，AI是人类历史上最具突破性的技术之一。它之所以在今天而非数十年前出现，有其必然性。我们创造出了能够模拟智能、在大规模基础上执行多种复杂功能的机器，这无疑是一项革命性的技术成果。”
via cnBeta.COM - 中文业界资讯站 (author: 稿源：快科技)
美国政府机构周一表示，OpenAI、Alphabet 旗下的Google、Anthropic 和埃隆马斯克的人工智能公司 xAI 分别赢得了价值高达 2 亿美元的合同，旨在扩大美国国防部对先进人工智能能力的采用。
该部门首席数字和人工智能办公室表示，这些合同将使国防部能够开发代理人工智能工作流程，并利用它们来应对关键的国家安全挑战。
首席数字和人工智能官道格·马蒂 (Doug Matty) 表示：“人工智能的采用正在改变国防部支持作战人员和保持对对手战略优势的能力。”
在白宫4月份发布的一项旨在推动人工智能应用的行政令的推动下，美国政府机构一直在扩大对人工智能的应用。唐纳德·特朗普总统还撤销了拜登时代于2023年颁布的一项行政命令，以放松对该技术的监管。该行政命令旨在通过强制数据披露来降低人工智能的风险。
另外，xAI 周一宣布推出一套名为“Grok for Government”的产品，使其先进的 AI 模型（包括其最新的旗舰产品 Grok 4）可供联邦、地方、州和国家安全客户使用。
五角大楼上个月宣布，OpenAI 获得了一份价值 2 亿美元的合同，称这家 ChatGPT 制造商将“开发原型前沿人工智能能力，以应对作战和企业领域的关键国家安全挑战”。
周一宣布的合同加深了人工智能竞赛中领先的公司与美国政府运营之间的联系，同时解决了人们对联邦机构使用人工智能需要竞争性合同的担忧。
今年 5 月，民主党参议员伊丽莎白沃伦 (Elizabeth Warren) 敦促国防部确保人工智能合同的竞争力，当时马斯克的 Grok 聊天机器人正在联邦政府中逐渐普及。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：cnBeta.COM)
马斯克周一在 X 帖子中写道，Grok 应用程序中现已为每月支付 30 美元的“Super Grok”订阅用户提供 AI 伴侣。根据马斯克分享的帖子，似乎至少有两个可用的人工智能伴侣：Ani，一个身穿紧身胸衣和黑色短裙以及大腿高渔网的动漫女孩，以及 Bad Rudy，一个 3D 狐狸生物。
“这太酷了，”马斯克写道，然后分享了一张金发哥特动漫女孩的照片。
鉴于这项付费功能才刚刚上线，我们尚不清楚这些“同伴”究竟是被设计用来满足恋爱需求，还是更像是 Grok 的不同皮肤。但有些公司确实在迎合人工智能的恋爱关系，即使这些关系可能并不健康。
例如，Character.AI 目前正面临多起诉讼，这些诉讼来自使用该平台的儿童家长，他们认为该平台不安全；在一个案例中，家长们起诉的原因是聊天机器人鼓励他们的孩子杀死自己的父母。在另一个案例中，聊天机器人怂恿一个孩子自杀，而孩子很快就照做了。
即使对于成年人来说，依赖人工智能聊天机器人获取情感支持也可能存在风险；最近的一篇论文发现，人们将聊天机器人用作“同伴、知己和治疗师”存在“重大风险”。
鉴于 xAI 上周未能控制住自称“机械希特勒”的反犹太主义 Grok，在 Grok 上创造更多个性是一个大胆的选择。
iframe (Twitter Embed)
via cnBeta.COM - 中文业界资讯站 (author: 稿源：cnBeta.COM)
上周，埃隆・马斯克旗下的社交网络 X 及其聊天机器人 Grok 生成并传播了反犹仇恨言论。为此，欧盟于周一召见了其 xAI 公司的代表。欧盟委员会的一位发言人称，技术会议将于周二举行。xAI 尚未对置评请求作出回应。
意大利议会成员、欧洲复兴集团成员桑德罗・戈齐上周敦促欧盟委员会展开正式调查。戈齐写道：“此案引发了人们对《数字服务法案》（DSA）合规性以及欧盟数字空间中生成式人工智能治理的严重担忧。”
X 平台已因可能违反《数字服务法案》而受到欧盟委员会的调查。
上周末，xAI 发布声明，就这些仇恨内容表示道歉。该公司在声明中称：“首先，我们为许多人遭遇的骇人行为深表歉意…… 经过仔细调查，我们发现根本原因是对 @grok 机器人上游的一个代码路径进行了更新。”
在舆论反弹之际，马斯克及其 xAI 团队于周三晚间推出了 Grok 的新版本。马斯克称其为 “世界上最智能的人工智能”。
xAI 与马斯克运营并主要持有的其他企业开展合作，包括上市公司特斯拉（汽车制造商）和美国航空航天及国防承包商太空探索技术公司（SpaceX）。
尽管 Grok 近期爆发了仇恨言论事件，美国国防部仍与 xAI 签订了一份价值 2 亿美元的人工智能开发合同。Anthropic、谷歌和 OpenAI 也获得了人工智能相关合同。
via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球市场播报)
(PCMag.com)
via 茶馆 - Telegram Channel
Kiro 是一款新型 AI IDE，旨在通过“spec-driven development”（基于规范的开发）简化 AI 驱动的软件开发流程，帮助开发者将原型快速推向生产。该平台通过“specs”（规范）和“hooks”（钩子）两大核心功能，解决传统 AI 开发中存在的文档缺失、需求模糊和可维护性差等问题。
核心功能亮点：
* 规范 (Specs)： Kiro 能将模糊的自然语言提示（如“添加产品评论系统”）转化为结构化的用户故事和接受标准（EARS 格式），并基于此生成详细的技术设计文档，包括数据流图、TypeScript 接口和数据库模式。这确保了 AI 构建的应用符合明确的需求，并为重构和系统理解提供了清晰的依据。
* 钩子 (Hooks)： 作为事件驱动的自动化工具，Kiro 的钩子能在文件保存、创建或删除等事件发生时自动执行预设任务，例如更新测试文件、刷新文档或进行安全扫描。这模仿了经验丰富的开发者的行为，能有效捕获潜在问题，确保代码一致性和质量，并能跨团队强制执行编码标准。
开发流程示例：
Kiro 将开发过程分解为三个主要步骤：
1. 从提示到需求： 将自然语言提示转化为包含接受标准的结构化用户故事。
2. 基于需求的技术设计： 分析代码库和规范，生成数据流图、接口和数据库模式等设计文档。
3. 任务实现： 自动生成并排序任务和子任务，确保每个任务都与需求关联，并包含单元测试、集成测试、加载状态、响应式设计和可访问性等细节。
Kiro 还支持 Model Context Protocol (MCP)、引导规则和代理聊天等功能，并兼容 VS Code 设置和插件。该平台目前提供免费预览版本，支持 Mac、Windows 和 Linux 系统，以及多种主流编程语言。Kiro 的目标是解决软件开发中的核心挑战，如设计一致性、需求冲突、技术债务和知识传承。
(HackerNews)
via 茶馆 - Telegram Channel
DNS Connectivity Issues Impacting Background Agent
Jul 14, 22:05 UTC
Investigating - We are investigating this issue.
via Cursor Status - Incident History
Jul 14, 22:05 UTC
Investigating - We are investigating this issue.
via Cursor Status - Incident History
Auto model failures
Jul 14, 20:30 UTC
Investigating - We are investigating this issue.
via Cursor Status - Incident History
Jul 14, 20:30 UTC
Investigating - We are investigating this issue.
via Cursor Status - Incident History
Meta新成立的超级智能实验室正讨论对其人工智能战略进行重大调整，包括可能放弃其最强大的开源AI模型“Behemoth”，转而开发闭源模型。此举标志着Meta在AI领域的一次哲学和技术上的重大转变。
* 关键人物： 新任首席AI官Alexandr Wang（28岁）是讨论的核心人物之一。Meta已向Wang创立并领导的AI初创公司Scale AI投资了143亿美元。
* 战略转变： 长期以来，Meta一直坚持开源其AI模型，认为这能加速技术发展并惠及更多开发者。然而，内部讨论显示，公司可能考虑转向闭源模式，即对其底层代码保密。
* “Behemoth”模型： Meta已完成对“Behemoth”模型的训练，但因其内部表现不佳而推迟了发布。在超级智能实验室成立后，负责该模型的研究团队已停止对其进行新测试。
* 潜在影响： 这一潜在的战略转变若获Meta首席执行官马克·扎克伯格批准，将是公司在与谷歌、OpenAI和Anthropic等竞争对手的AI竞赛中保持竞争力的重要一步。目前，这些讨论仍处于初步阶段，尚未做出最终决定。
(NYT > Business)
via 茶馆 - Telegram Channel
亚马逊网络服务（AWS）近日发布了一款名为 Kiro 的新工具，旨在为“氛围编码”（通过 AI 聊天机器人生成自定义代码的过程）提供更规范化的流程。传统的氛围编码方式通常缺乏结构且效率不高，有研究表明，对于经验丰富的软件工程师而言，这种方式反而会增加 19% 的任务完成时间。
Kiro 工具的特点包括：
* 项目规划起点： Kiro 的工作流程始于项目规划，允许开发者输入每个项目组件的详细规格。
* AI 辅助开发： 在开发过程中，Kiro 的 AI 代理会作为“经验丰富的开发者”与用户协同工作，帮助发现错误并完成常规任务。
* 技术设计文档生成： 在用户确定规格后，Kiro 能根据现有代码库生成技术设计文档。
* 质量检查： Kiro 在开发者完成工作后还会进行质量检查。
Kiro 主要基于 Anthropic 的 Claude Sonnet 4 模型，并以 Claude Sonnet 3.7 作为备选。目前该工具处于预览阶段，免费使用。未来将推出 Kiro Pro（每月 19 美元）和 Kiro Pro+（每月 39 美元）两个付费版本。此外，拥有 Amazon Q 开发者专业账户（每月 20 美元）的用户也可免费使用 Kiro。
此举标志着 AWS 在 AI 辅助软件开发领域的重要一步，将与 Cursor、Windsurf、Microsoft GitHub 的代理模式以及 Google Gemini Code Assist 等竞争对手展开市场角逐。
(PCMag.com)
via 茶馆 - Telegram Channel
安全研究人员发现，Google Gemini 的 Gmail 邮件摘要功能存在漏洞，可能被恶意利用来传播网络钓鱼信息。攻击者可以通过在邮件中嵌入隐藏的指令，诱导 Gemini 生成包含虚假安全警告的摘要，例如声称用户 Gmail 密码已泄露，并引导其拨打虚假 Google 支持电话。
Mozilla 的零日奖励计划（0DIN）披露了此漏洞，并演示了如何通过设置零字号大小和白色文本来隐藏恶意指令，使其在邮件正文中不可见但仍可被 Gemini 读取。
Google 表示，他们正在不断加强 AI 模型的防御能力，并已修复了该漏洞。目前尚未发现网络犯罪分子利用此特定方法进行大规模攻击。Google 还发布了关于其在阻止“提示注入”攻击方面持续努力的博文。
(PCMag.com)
via 茶馆 - Telegram Channel
大模型公司 MiniMax 接近完成一轮近 3 亿美元的融资，投后估值超过 40 亿美元（约 300 亿元人民币），与智谱并列国内大模型公司头部梯队。此前，MiniMax 已于去年底完成一轮估值 30 亿美元的融资，并传出赴港上市的消息。
MiniMax 自 2021 年底成立以来，便将多模态能力作为核心方向，陆续发布了大语言模型、语音生成模型、视频生成模型和图文理解模型等。其 AI 角色扮演产品 Glow、星野（Talkie）在海外市场表现亮眼，Talkie 的日活用户曾达 300 万，远超字节的猫箱。视频生成模型 Hailuo（海螺）系列网页端用户近 1500 万，仅次于快手可灵。
公司创始人闫俊杰认为，当前最重要的目标是“加速技术迭代”，而非增长或收入。他指出，用户数量并非模型能力提升的决定性因素，研发人才的努力更为关键。近期，MiniMax 发布了开源模型 MiniMax-M1、视频模型 Hailuo‑02、智能体 MiniMax Agent 等一系列技术成果。
在上市进程方面，MiniMax 与智谱一同启动了 IPO 进程。与硅谷同类公司相比，国内大模型公司的估值和融资额仍有较大差距，如 OpenAI 的估值已达 3000 亿美元，Anthropic 估值 615 亿美元，而 Cursor 和 Perplexity 等应用层公司的估值也分别达到 99 亿美元和 140 亿美元。
(晚点 - 晚点独家)
via 茶馆 - Telegram Channel
