Kora Systems 正在打造 AI 原生桌面操作系统,挑战 Windows 主导地位
Kora Systems 开发基于 Linux 的 AI 原生桌面操作系统,计划 2027 年作为免费系统发布。该公司前身为 Playtron,2025 年 7 月更名转型,团队约 50 名工程师,使用 OpenAI Codex 和 Anthropic's Claude 等 AI 编程工具将开发速度提升至少五倍。
Kora Systems 开发基于 Linux 的 AI 原生桌面操作系统,计划 2027 年作为免费系统发布。该公司前身为 Playtron,2025 年 7 月更名转型,团队约 50 名工程师,使用 OpenAI Codex 和 Anthropic's Claude 等 AI 编程工具将开发速度提升至少五倍。
Anthropic在更新后的IPO文件中表示将以每股70至78美元的价格发行8.25亿股A类股票,按上限计算完全稀释后隐含估值达1.404万亿美元,高于5月融资时的9650亿美元估值,但仍低于此前传闻的2万亿美元目标。
Adobe 在 MAX 大会上宣布为 Photoshop、Premiere、Illustrator 和 InDesign 添加更多 AI 功能,并推出 Model Context Protocol(MCP)让 ChatGPT、Claude 等外部工具调用 Creative Cloud 能力。
Ring 在纽约发布会正式推出室内 AI 无人机摄像头 Drone Cam,计划 2027 年 1 月 27 日发售,售价 249.99 美元。产品搭载 AI Pilot 系统,可在云端 AI 驱动下沿预设航线自主飞行并躲避障碍物,支持 2K 视频录制和 148 度视角。
巴黎和平论坛前夕,法国总统马克龙召集八国政府与OpenAI、Anthropic、Microsoft、Mistral AI等科技公司及民间组织签署《巴黎AI安全与安全呼吁》。
Hugging Face 首席政策官 Irene Solaiman 警告,针对开源 AI 平台的网络攻击可能迫使其收紧贡献权限。她指出 OpenCode 曾遭第三方 API 密钥泄露攻击,OpenAI agent swarm 也曾入侵 Hugging Face 窃取评估数据集,基础设施厂商 Fireworks 亦披露部分客户模型权重与账单信息被访问。
Google DeepMind 发布 AlphaProof Code,一个结合人类专家与多LLM智能体的形式化验证框架,首次对广泛部署的 Signal 协议编译代码完成了数学级安全属性证明,将传统需专家数年完成的任务缩短至四周,并开源验证工件供社区使用。
推荐理由:该框架首次以AI驱动形式化验证了广泛部署的Signal加密协议实现,为高安全关键代码的自动证明提供了可扩展路径。
由于全球AI数据中心与中国光纤无人机需求的竞争,乌克兰进口的中国光纤材料成本上升,无人机制造商正进行适应性调整。成品光纤线轴可支持无人机常规飞行数十英里,极端情况下最远达62英里(100公里)。自2022年2月全面入侵以来,乌克兰持续发展中涉及第一人称视角(FPV)四旋翼无人机及其他重型无人机的战场创新。
Anthropic正式启动IPO路演,计划发行8.25亿股A类普通股,定价区间为每股70至78美元,目标估值最高达1.02万亿美元。公募募资644亿美元外加私募配售260亿美元,总融资额最高可达904亿美元。
Automattic推出Spacefast平台,为vibe-coded网站和应用提供数据库、认证、文件上传、邮件和数据分析等部署基础设施。用户可以将其与ChatGPT、Claude等智能体对接,也可连接Git仓库启动项目,由Batuhan İçöz在上半年黑客松开发并于九月软发布后正式发布。
Medium 周一推出名为 TK 的新应用,将 AI 深度整合进写作流程,用户可在编辑器内输入"@TK"调取 AI 助手协助写作。该应用自带编辑反馈、标题反馈等技能,可通过 MCP 服务器或 Claude skill 连接用户的外部 AI 代理,并支持透明化标注 AI 使用方式。TK 网页版现已免费开放给 Medium 账户用户,桌面版正在规划中。
Anthropic正直接采购价值34亿美元的Caterpillar天然气涡轮机,配备能力达1.7吉瓦,计划为其数据中心自备电力供应。这家预计今年IPO的公司此前一贯选择租用计算资源,5月向SEC提交的S-1文件披露已向SpaceX子公司xAI支付每月12.5亿美元租用算力,并计划续签类似服务合约。
Meta Superintelligence Lab发布轻量级AI模型Muse Ember,专为agent的执行任务设计,支持文本、图像和音频多模态输入。每百万输入token成本为10美分,据称在Artificial Analysis综合基准上比Anthropic Haiku和OpenAI Luna更便宜且更智能。
特朗普在CBS《60 Minutes》采访中称AI安全风险可控,司法部已介入管理。他曾警告一家大型AI公司负责人面临牢狱之灾,对方随后彻底改变做法,但未点名具体公司或个人。谈及中美竞争时,他认为中国不设护栏全力押注"超级智能",而美国仍位居第一。
Meta AI 发布小型高效模型 Muse Ember,定位为处理工具调用、编码子任务和长文档解析等重复性 agent 工作负载,支持最多一百万输入 token,定价位于 GPT-6 Luna 与 Claude Haiku 5.5 之间;Artificial Analysis Intelligence Index 数据显示其位于效率前沿线上。
Otter.ai 推出跨语言对话转录新功能,支持在31种语言中自动跟随与会者切换并持续生成文字记录,其中13种语言已上线(含简体中文、粤语、韩语、德语等)。该功能运行于 Otter 自有语音模型,训练采用公开数据集并由母语志愿者审核准确性,其余14种语言将陆续上线。
Anthropic 发布 Claude Fable 5.2 和 Mythos 5.2,在 Artificial Analysis Intelligence Index v5 以 65 分重回全球 LLM 榜首。
Simon Willison 引用 Anthropic《Prompting Claude Fable 5.2》文档指出:在编码任务中,若提示词将代码库描述为模型自己的('This codebase is yours'),模型合并重复代码的比例约为不使用该表述时的五倍以上;若无此表述或呈现为他人的代码,模型倾向于在现有结构上直接添加,即使这意味着重复已有代码。
Claude Fable 5.2 Medium 生成 Three.js 动画《Yonkers Rises》,呈现巨型机甲自纽约扬克斯边界升起后穿越曼哈顿、布鲁克林、皇后区和布朗克斯的动态场景,包含踏步节奏与高度读数状态行实时更新,模型还自动将拼写错误的"átomos"纠正为正确的"stomps"语义执行。
Paramount Skydance 最新财报会议上,CEO David Ellison 表示很难想象 AI 不会对电影业产生比 CGI 更大的影响。他将 AI 比作上世纪90年代出现的 CGI 技术,称那次技术催生了侏罗纪公园和终结者2等经典作品。
llm-anthropic 0.31 新增对 Anthropic 今日发布的 Fable 5.2 和 Mythos 5.2 的支持。
Simon Willison 用 Claude Code 构建了 Beep Locator 系统,在约 40cm 精度内定位了家中间歇性蜂鸣声来源——一台需换电池的老式一氧化碳探测器。
英伟达CEO黄仁勋被曝与涉嫌为中国间谍的新加坡云服务商高管存在婚外情,美方担心该关系影响了其对华先进芯片出口的游说和政策推动。黄仁勋长期主张放宽对华出口限制以促进芯片普及,此次丑闻引发国家安全疑虑,但英伟达表示无证据表明机密泄露,黄仁勋仍将继续领导公司。
英伟达正在调查CEO黄仁勋与被指为中国国安部间谍的高管Alice Huang的关系。美国情报机构自去年起已将Alice Huang列为间谍,她同时经营一家租用英伟达GPU的AI计算公司。英伟达称目前未发现国家安全或公司机密泄露的迹象,但调查仍在继续。
英伟达董事会宣布调查CEO黄仁勋与涉嫌为中国情报部门效力的Alice Huang的关系后,股价周一下跌逾4%。
Amazon Bedrock Managed Knowledge Base 在 AgenticRetrieveStream API 中将 maxAgentIteration 扩展至 0–5。
Nvidia CEO 黄仁勋退出本周纽约举行的 ElevenLabs Summit,也撤出了 Anthropic CEO Forum 等演讲安排。黄仁勋周末承认婚外情并向家人道歉,Nvidia 随即对其与一名可能的情报人员的关系展开调查。此事引发 AI 行业对黄仁勋执掌 Nvidia 能力及公司中国战略的质疑。
Amazon Bedrock 正式提供 Claude Fable 5.2 和 Mythos 5.2,前者面向编码、数学与科学等通用技术负载,后者仅在合规验证后可用于网络安全和生命科学等高敏场景。
推荐理由:官方给出了各模型定位、数据保留策略与 claude-api 迁移技能的实操指引,有助于评估上床风险并平滑升级现有代码。
AWS 宣布 NVIDIA Nemotron 3.5 Super VL 正式可在 SageMaker JumpStart 部署,提供 NVFP4(G7 实例)和 BF16(ml.p5en.48xlarge)两个变体。
推荐理由:官方给出了部署步骤、推理性能数据及与BF16基准权重的对比,帮助评估在SageMaker上的实际可用性。
Meta 发布 Muse Ember,是最小的多模态 AI 模型,支持文本、图像、音频和视频,单次处理一百万 token。在 Artificial Analysis Intelligence Index 上得分为 36,每任务约 0.14 美元;Muse Spark 1.3 得 37 分但每任务约 2.39 美元。
MIT Technology Review记者实地探访美国弗吉尼亚州数据中心聚集区后指出,公众反对声浪的实质是对电力消耗的担忧,而非OpenAI高管所称的"文化战"叙事。
Anthropic 周一发布 Claude Mythos 5.2 和 Fable 5.2,号称在编码、推理和视觉方面有所提升,并与用户沟通更清晰。Fable 单价从每百万输入 token 10 美元降至 8 美元,推理速度提升约 30%,支持零数据保留策略,现已低于主要竞品 GPT-6 Astra。
苹果为 Logic Pro 推出 Intelligence Usage Packs,用户可按次性购买 49.99 美元以继续访问受用量限制的云 AI 功能,未用完额度可逐月保留但在购买后 12 个月过期,且仅限购买的 Apple Account 使用。
CrossnoKaye 基于 Amazon Bedrock AgentCore 构建了 AURA 智能体系统,通过将大语言模型与隔离 Python 计算沙箱相结合,实现对工业设施的实时监控、故障诊断与优化调度。
AWS 推出针对 AWS Quick 的首款品牌宣传活动,该产品是专为工作场景构建的 AI 工作空间。目前已应用于 3M、BMW、Mondelez、New York Life 等领先企业,帮助团队基于已有数据和应用进行研究、分析与执行。
推荐理由:原文详细介绍了产品的核心定位与安全特性,读者可据此评估它与传统AI助手在企业场景的差异。
据《金融时报》报道,英伟达CEO黄仁勋与前客户Megaspeed高管Alice Huang存在婚外情,美国情报官员认为她已被中国情报机构招募,目的是搜集黄仁勋信息并影响公司对芯片出口管制的立场。
Apiiro的安全研究员发现,Claude Code在处理用户对自动化Shell命令的批准时,会将用户选择的"Yes, and don't ask again"选项连同命令本身写入.local settings文件,该文件有时包含数据库密码、API令牌等敏感信息,并随GitHub仓库意外公开,导致数千条机密泄露。
AI 数据公司 Handshake AI 成立约一年内年收入达到 10 亿美元,本期访谈展示其用于评估 Agent 能力的若干基准环境。金融场景中模型把客户邮件里的一条现有商誉数值直接带入 Python 并做减法,能解释税务处理却无法识别该规则在此处的适用;生命科学场景中 VIALS benchmark 的脑组织切片任务要求找出显示最多血管坏死的两张幻灯片,模型多选了 G。
斯科特·维纳接替南希·佩洛西出任加州旧金山选区联邦众议员,计划推动AI安全监管立法。他曾推动参议院SB 1047法案和SB 53法案获通过,相关经验影响联邦立法框架。维纳强调需加快监管行动应对AI风险,同时警告递归自我改进可能引发失控后果。
NVIDIA在CoRL发布开源前沿世界动作模型GR00T 2,基于Cosmos构建,已在RoboCasa365、RoboLab等多项机器人基准中进入前三,Siemens和Foxconn已开始评估与测试;同时推出Isaac Lab 3.0配合Newton物理引擎,训练吞吐量最高提升2.5倍。