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认知能力下降：自己每天都用 反而得到提升

据媒体报道，英伟达CEO黄仁勋近日公开驳斥了一项麻省理工学院（MIT）的研究结论。该研究认为频繁使用AI（如依赖ChatGPT撰写论文）会导致用户认知能力下降，表现为大脑活跃度降低，在神经反应、语言表达、行为表现方面下滑，后期甚至出现直接复制粘贴、缺乏独立思考的现象。

黄仁勋坦言自己尚未阅读该报告，但明确表示不认同其结论。他现身说法：“我每天都用AI，但我感觉自己的认知能力不是在退步，而是在进步。”

他强调，关键在于使用方法——他从不允许AI替代思考，而是将其视为强大的学习工具，“让我理解不懂的知识，或协助解决原本难以处理的问题”。

黄仁勋特别指出，有效使用AI绝非被动接收信息，而是一个主动思考的过程。他认为，提出高质量问题的能力本身就是一种“高阶认知能力”。“当我跟AI互动时，本质上是在不断发问。想要提出好问题，就必须动脑、分析、推理。”他解释道。

他分享了自己的实践方法：不满足于AI的第一轮回答，会进行追问并与其他AI工具交叉验证。“我常问第一个AI，‘这是你能想到的最佳答案吗？’然后再把答案交给另一个AI，让它来评估前一个回答的质量。”他将此过程比作“听取三个人的意见”，认为这有助于培养批判性思维。

因此，黄仁勋坚信，正确使用AI不仅不会削弱智力，反而能提升人的认知水平。他建议：“每一个参与这类实验的人，都应学会批判性地看待AI给出的答案。”

对于AI领域的年轻从业者，黄仁勋也给出了他的洞见：“你们必须意识到，AI是人类历史上最具突破性的技术之一。它之所以在今天而非数十年前出现，有其必然性。我们创造出了能够模拟智能、在大规模基础上执行多种复杂功能的机器，这无疑是一项革命性的技术成果。”

via cnBeta.COM - 中文业界资讯站 (author: 稿源：快科技)

华人横扫硅谷AI界 究竟怎么做到的？

via cnBeta.COM - 中文业界资讯站 (author: 稿源：全球风口)

Telegraph

华人横扫硅谷AI界 究竟怎么做到的？

7月10日，马斯克正式发布了他称之为“世界上最智能AI”的Grok 4。据称，Grok 4在多项测试中表现突出，学术能力强，在商业决策、生物医学研究等方面也表现不错。不过，发布会上的一个现象引起了我们的注意。直播现场出现了大量华裔面孔，尤其是与马斯克一同分享的两位核心创始成员均为华人。 接着有一张xAI 团队的合影照片在社交媒体上疯传，其中大多数都是中国人面孔。 追溯到2023年7月xAI成立时，创始团队的12人中，有5位是华人科学家。 例如，xAI核心科学家之一的吴宇怀，出生于浙江，博士期间师从诺贝尔…

美国国防部将AI合同授予四家主流供应商 包括马斯克的xAI

美国政府机构周一表示，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)

Grok正在制作人工智能伴侣 其中包括一名哥特动漫女孩

马斯克周一在 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)

Manus“撤出”中国 昔日AI Agent新星为何仓促离场？

via cnBeta.COM - 中文业界资讯站 (author: 稿源：节点财经)

Telegraph

Manus“撤出”中国 昔日AI Agent新星为何仓促离场？

大举裁员、清空账号、国内IP无法访问——曾被誉为“中国AI Agent希望之星”的 Manus，在估值飙至5亿美元的高光时刻“闪离”中国市场。近日，Manus“裁员、出走”的消息在媒体端大量发酵。消息称，Manus公司总部将由中国迁至新加坡，其国内团队也将大幅裁撤——原有120人规模团队除40余名核心技术人员将迁往新加坡总部外，其余员工全部裁撤，据称裁员补偿待遇优厚，被裁人员能拿到N+3或2N的赔偿。 文 / 道哥 对于裁员，Manus官方回应媒体称：“基于公司自身经营效率考量，我们决定对部分业务团队进…

扎克伯格豪言千亿美元投资AI之际 水、电资源焦虑迅速升温

via cnBeta.COM - 中文业界资讯站 (author: 稿源： 财联社)

Telegraph

扎克伯格豪言千亿美元投资AI之际 水、电资源焦虑迅速升温

Meta首席执行官马克·扎克伯格本周一再度夸下海口，称将投资“数千亿美元”建设多个超大规模AI数据中心，全力推进“超级智能”的研发。他在社交媒体上发文表示，Meta正在建设多个“吉瓦”级别的数据中心集群，其中包括预计在2026年上线的首个集群“普罗米修斯”（Prometheus），同时另一个名为“海伯里安”（Hyperion）的集群也在建设中，预期将在几年内扩展到5吉瓦规模。 作为参考，美国最大核电站沃格特勒核电站，四个机组的发电能力之和约为4.5吉瓦。 扎克伯格也再度比较称，单单一个巨型数据中心的占地…

马斯克倾商业帝国之力托举AI梦想 烧钱机器急需特斯拉股东支持

via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球市场播报)

Telegraph

马斯克倾商业帝国之力托举AI梦想 烧钱机器急需特斯拉股东支持

埃隆·马斯克商业帝国的资金正越来越多地向一个方向汇聚，那就是人工智能（AI）。这位亿万富豪周日表示，他计划让特斯拉股东投票表决是否允许公司投资两年前创立的人工智能企业xAI。据知情人士透露，马斯克的太空运输公司SpaceX最近已同意向xAI投资约20亿美元。 马斯克称，他不支持将xAI与其他公司合并，但希望特斯拉投资者能分享到xAI增长的红利。今年3月，xAI以全股票交易方式并入马斯克的社交平台X，估值达1130亿美元。 不过，马斯克并未说明旗下多家公司投资xAI将如何遏制该公司每月10亿美元的烧钱速度…

马斯克的xAI面临欧盟审查

上周，埃隆・马斯克旗下的社交网络 X 及其聊天机器人 Grok 生成并传播了反犹仇恨言论。为此，欧盟于周一召见了其 xAI 公司的代表。欧盟委员会的一位发言人称，技术会议将于周二举行。xAI 尚未对置评请求作出回应。

意大利议会成员、欧洲复兴集团成员桑德罗・戈齐上周敦促欧盟委员会展开正式调查。戈齐写道：“此案引发了人们对《数字服务法案》（DSA）合规性以及欧盟数字空间中生成式人工智能治理的严重担忧。”

X 平台已因可能违反《数字服务法案》而受到欧盟委员会的调查。

上周末，xAI 发布声明，就这些仇恨内容表示道歉。该公司在声明中称：“首先，我们为许多人遭遇的骇人行为深表歉意…… 经过仔细调查，我们发现根本原因是对 @grok 机器人上游的一个代码路径进行了更新。”

在舆论反弹之际，马斯克及其 xAI 团队于周三晚间推出了 Grok 的新版本。马斯克称其为 “世界上最智能的人工智能”。

xAI 与马斯克运营并主要持有的其他企业开展合作，包括上市公司特斯拉（汽车制造商）和美国航空航天及国防承包商太空探索技术公司（SpaceX）。

尽管 Grok 近期爆发了仇恨言论事件，美国国防部仍与 xAI 签订了一份价值 2 亿美元的人工智能开发合同。Anthropic、谷歌和 OpenAI 也获得了人工智能相关合同。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球市场播报)

马克・扎克伯格表示 Meta正打造一座5GW的人工智能数据中心

via cnBeta.COM - 中文业界资讯站 (author: 稿源：环球市场播报)

Telegraph

马克・扎克伯格表示 Meta正打造一座5GW的人工智能数据中心

Meta 首席执行官马克・扎克伯格周一在 Threads 上发帖称，该公司目前正在建设一座名为 “许珀里翁”（Hyperion）的数据中心，预计将为其新的人工智能实验室提供 5 吉瓦（GW）的计算能力。 这一消息标志着 Meta 在人工智能竞赛中为领先于 OpenAI 和谷歌所采取的最新举措。此前，Meta 挖来顶尖人才运营其超级智能实验室，包括前 Scale AI 首席执行官亚历山大・王和前 Safe Superintelligence 首席执行官丹尼尔・格罗斯，如今 Meta 似乎将注意力转向训练前…

⚡️ OpenAI在德克萨斯州建立新AI数据中心，预计将消耗相当于一座城市总电量。该数据中心计划于2030年将该地区电力需求翻倍，消耗高达390兆瓦的电力。此举可能导致当地居民电费上涨，并对德州本已脆弱的电网造成压力。同时，数据中心对冷却水的巨大需求也可能加剧德州的水资源短缺问题。该项目由Core Scientific提供场地，但将由CoreWeave公司在90亿美元的收购完成后接管。

(PCMag.com)

via 茶馆 - Telegram Channel

🚀 Kiro 推出：AI IDE 加速软件开发从概念到生产

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

Auto model failures

Jul 14, 20:30 UTC
Investigating - We are investigating this issue.

via Cursor Status - Incident History

🤖 Meta或将调整AI战略：考虑放弃开源模型转向闭源开发

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

🚀 亚马逊推出 Kiro，旨在规范 AI 驱动的代码生成

亚马逊网络服务（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

突发：国防部将开始使用Grok，该公司宣布

(@Insider Paper)

via 茶馆 - Telegram Channel