科技资讯

2026年11月12日 AI 领域重要新闻汇总：英伟达 CEO 去留风波引发股价剧震，谷歌连发 A2UI 1.0、Gemini Decisions API 与 AlphaGenome 2，Stripe 完成对 OpenRouter 的收购，AI 智能体「代办交易」遭遇现实门槛。 ...

2026年11月11日 AI 领域重要新闻汇总，涵盖 AI 操作系统、本地 AI 服务器、开发者工具等前沿方向。 🔥 今日头条 1. 挑战微软 Win11：原生 AI 系统 KORA 登场，将率先适配高通骁龙 X2 Elite 全新原生 AI 操作系统 KORA 正式亮相，直接对标微软 Windows 11。KORA 从底层架构开始就以 AI 为核心设计理念，系统级集成智能体能力，而非在传统操作系统上叠加 AI 功能。该系统将率先适配高通骁龙 X2 Elite 芯片平台，充分利用其 NPU 算力实现端侧 AI 推理。KORA 的出现标志着操作系统竞争进入 AI 原生时代，传统 OS 厂商面临被「换道超车」的风险。 ...

2026年11月10日 AI 领域重要新闻汇总，涵盖大模型发布、产业融资、机器人与算力等多个方向。 🔥 今日头条 1. 谷歌迄今最强模型 Gemini 4 Carbon 登场：主打复杂编程、科学研究与网络安全 Google DeepMind 正式发布 Gemini 4 Carbon，定位为迄今最强模型，主打复杂编程、科学研究与网络安全三大核心场景。该模型具备极强的长周期任务处理能力，支持长时间运行的复杂工作流。据 DeepMind 透露，Gemini 4 Carbon 在多项编程基准上刷新了记录，尤其在多文件代码重构、漏洞发现和安全审计方面表现出色。目前该模型已面向全球用户全量开放，Google AI Pro 和 Ultra 订阅用户可直接使用。这一发布标志着谷歌在大模型竞赛中再次加码，与 OpenAI、Anthropic 形成三足鼎立态势。 ...

AI日报 | 2026年7月14日 GPT-5.6"数学证明"遭学界审视：方法初等但缺同行评审 OpenAI宣称GPT-5.6 Sol Ultra证明循环双覆盖猜想后，曼彻斯特大学数学家Thomas Bloom分析称其方法"出奇地初等"，仅是巧妙组合现有图论技巧。数学界一致态度为谨慎乐观，核心争议在于证明未经同行评审、未使用Lean形式化验证、仅以PDF上传公司CDN而非发表在学术期刊。 ...