标签: Gemini

Cursor 正式并入 SpaceXAI 助力 Grok

Cursor 正式并入 SpaceXAI 助力 Grok

AI 编程工具 Cursor 被 SpaceX 收购,正式并入 SpaceXAI 团队,目标是把 Grok 打造成“全球最实用 AI”。值得关注的是,这次整合可能让 Grok 从对话助手扩展到软件工程和知识工作场景。

我跳过AI云订阅,直接在Android手机上运行本地LLM

我跳过AI云订阅,直接在Android手机上运行本地LLM

Android Police 编辑 Rahul Naskar 做了一次实验,放弃 AI 云订阅、直接在 Android 手机上运行本地大语言模型(LLM),结果超出预期。这件事之所以值得关注,是因为它在“云 AI 订阅制”之外演示了一条更私密、更低成本的本地推理路线,也让 NPU、量化模型等硬核技术从参数表走…

DeepSeek 峰谷电价更新

DeepSeek 峰谷电价更新

DeepSeek 正式发布 DeepSeek-V4-Pro,升级 Agent 能力并原生支持 OpenAI Responses API,同时推出峰谷电价:非高峰时段 API 价格直降 50%,把算力成本压力转化为价格杠杆,值得开发者重点关注。

AI时代就是要敢想啊,太励志了——协和的一个神经外科博士生金山木,本科北大地质专业,自学数学,用GPT-5.6解决了矩阵分析领域一个核心且著名的未解难题Crouzeix猜想(2004年提出)! 已经得到Crouzeix本人在内的多位数学家确认。 https://t.co/qunH2mq5UE

AI时代就是要敢想啊,太励志了——协和的一个神经外科博士生金山木,本科北大地质专业,自学数学,用GPT-5.6解决了矩阵分析领域一个核心且著名的未解难题Crouzeix猜想(2004年提出)! 已经得到Crouzeix本人在内的多位数学家确认。 https://t.co/qunH2mq5UE

一位没有接受过系统高阶数学训练的神经外科博士生,借助 GPT-5.6 解决了矩阵分析领域悬置多年的 Crouzeix 猜想,并已通过提出者本人的验证。这件事的特殊之处不在于“AI 替人类证明定理”,而在于一个非专业研究者靠 AI 完成了传统上需要多年学术积累才能触及的数学突破。

人人都在谈论AI Agent。这是从它内部看到的样子

人人都在谈论AI Agent。这是从它内部看到的样子

一个名为 Vault Operator 的 AI Agent 不再停留在聊天弹窗里,而是直接嵌入用户的 Obsidian 知识库,能读取笔记图谱、跨会话记忆并代写文件。它展示了一条与“通用聊天助手”不同的产品路线:把 Agent 放进个人知识库内部,让每一项操作都可追溯、可撤销。

DeepSeek 高峰/非高峰定价更新

DeepSeek 高峰/非高峰定价更新

DeepSeek 为 V4-Flash 和 V4-Pro 引入高峰/非高峰分时定价,非高峰时段价格下调,但高峰时段价格大幅上浮,对欧美用户而言相当于变相涨约 2 倍。这标志着大模型 API 定价从“统一价”走向“分时计价”的新阶段。