今日AI大事件 | 2026.04.27:OpenAI手机2028亮相、DeepSeek-V4暴降90%、23岁小伙借GPT证明60年数学猜想

0 阅读1分钟

今日AI大事件 | 2026.04.27:OpenAI手机2028亮相、DeepSeek-V4暴降90%、23岁小伙借GPT证明60年数学猜想

AI正在重写一切边界——手机、数学、价格、安全……2026年4月27日,掘金编辑部为你精选5条最有价值的AI大事件,5分钟速览今日全球AI格局。


🔥 一、OpenAI手机来了:联发科+高通造芯,2028年量产冲击3亿高端市场

【事件】 天风国际分析师郭明錤今日披露重磅消息:OpenAI正与联发科、高通联合开发定制手机处理器,立讯精密获得独家设计制造合同,初期锁定全球每年3-4亿台高端手机市场,预计2028年量产落地。

【数据支撑】

  • 全球高端手机年出货量:3-4亿台(OpenAI目标市场规模)
  • 立讯精密独家合同:具体金额未披露,但独家资质意味着极高话语权
  • 时间节点:2028年量产(距今约2年)
  • OpenAI算力储备:30.5GW(全球最大AI算力规模之一)

【深度分析】

这不是一个普通的硬件新闻。这是OpenAI试图从"云端AI"转型"边端融合AI"的关键一步。

从产品逻辑看:AI手机本质上是将LLM推理能力下沉到端侧——OpenAI与联发科/高通的合作,意味着将GPT-5.x级别的推理能力直接烧录进SoC。这与苹果今年拥抱Gemini的路线截然不同:苹果是引入第三方AI,而OpenAI是自己做芯片+自己做OS+自己做模型,打造封闭的AI设备生态。

从竞争格局看:这将把AI手机赛道从"谁能集成最好的AI"变成"谁拥有自己的AI芯片"。联发科+高通双轨并行,既保留安卓生态的开放性,又为OpenAI打造专属AI算力底座。

对开发者的影响:端侧大模型推理能力将爆发式提升,轻量化Agent、离线AI应用将迎来真正的普及拐点。


💰 二、DeepSeek-V4价格暴降90%:百万Token只要2分钱,价格战重新开战

【事件】 DeepSeek今日宣布:V4全系模型输入缓存命中价格降至首发价的1/10,百万token最低仅需0.02元(2分钱)。V4-Pro同步限时降价75%,优惠持续至2026年5月5日。

【数据支撑】

模型降价幅度当前最低价优惠截止
DeepSeek-V4 全系(缓存命中)降至1/10¥0.02/百万Token长期
DeepSeek-V4-Pro降价75%限时折扣价2026.05.05
DeepSeek-V4-Flash-4月25日调用量+85.9%-
DeepSeek-V4-Pro-4月25日调用量+400%-

【深度分析】

DeepSeek这次降价的意义远超表面数字。

技术维度:V4-Pro单token推理计算量仅为V3.2的27%,KV缓存占用降至10%。这说明DeepSeek的成本优势来自架构创新,而非烧钱补贴——这意味着降价是可持续的,不是饮鸩止渴。

生态维度:上周(4月20-26日)DeepSeek V3.2仍以1.28万亿Token的周调用量稳居全球第三,V4刚上线两天就冲出了百亿级日调用量。结合降价,预计V4将在未来两周内挤入全球前二。

战略维度:DeepSeek首次在官方文档中将华为昇腾NPU与英伟达GPU并列写入硬件验证清单,并预告昇腾950超节点量产后价格将"大幅下调"。这是去CUDA化的明确信号——DeepSeek正在用生态压力倒逼整个行业。

给开发者的建议:5月5日前是接入DeepSeek-V4-Pro的最佳窗口期,现在接入成本极低,且V4的Agent能力对标Claude Opus 4.7。


🧮 三、23岁门外汉借ChatGPT,80分钟证明困扰数学界60年的猜想

【事件】 一位23岁、非数学专业的"门外汉",借助ChatGPT(GPT-5.4 Pro),耗时仅80分钟,证明了困扰数学界60年的Erdős原始集猜想。这一成果获得菲尔兹奖得主陶哲轩在社交媒体上的高度评价。

【背景】

  • Erdős原始集猜想:由匈牙利数学家保罗·埃尔德什提出,涉及数论中原始集合(无元素整除另一元素的集合)的对数密度上界问题
  • 该猜想自1960年代提出,此前仅由专业数学家取得部分进展
  • 陶哲轩评价:认可该证明的核心思路,并称这是"AI辅助数学研究的里程碑式案例"

【深度分析】

这个事件的震撼程度,远超大多数人的直觉。

传统数学研究的门槛是什么?是20年的专业积累+对前沿文献的系统性理解+对抽象结构的直觉感知。而现在,一个23岁的门外汉,拿着GPT-5.4 Pro,80分钟打破了这堵墙。

这不是AI"替代"数学家——而是AI把数学能力民主化了。GPT-5.4 Pro在这里扮演的角色,不是"自动证明器",而是高水平数学顾问:它帮助用户快速定位相关文献、理解猜想背景、构建证明路径、检验每一步推理的正确性。

更深的信号:如果AI能辅助非专业人士破解60年数学难题,那么在代码审查、安全漏洞分析、药物分子设计等更结构化的领域,AI的突破速度只会更快。我们正站在一个"认知加速时代"的门口。


📊 四、全球模型调用榜:Kimi K2.6登顶,Claude Opus 4.7暴涨279%,中美平分秋色

【事件】 根据OpenRouter最新数据(统计周期:4月20-26日),全球AI大模型周总调用量回升至21.9万亿Token(环比+6.3%),在连跌两周后重现增长。Kimi K2.6以1.58万亿Token登顶榜首,Claude Opus 4.7凭借**279%**的惊人周增速杀入全球前四。

【数据支撑】

排名模型公司周调用量周变化
🥇1Kimi K2.6月之暗面1.58万亿 Token-
🥉3DeepSeek V3.2DeepSeek1.28万亿 Token稳健
4Claude Opus 4.7Anthropic1.15万亿 Token+279%
6MiniMax M2.7MiniMax0.79万亿 Token-18%
-阶跃星辰 Step 3.5 Flash阶跃星辰0.72万亿 Token+98%
  • 美国 vs 中国:美国4.98万亿 > 中国4.37万亿(美国连续两周超越)
  • 前九中国模型:Kimi K2.6、DeepSeek V3.2、MiniMax M2.7、阶跃星辰,共4款

【深度分析】

本周榜单有三个核心信号值得开发者关注:

信号一:Kimi K2.6的"262K上下文效应"正在发酵。 月之暗面将上下文扩展至262K,让Kimi在长文档处理、代码库分析等场景中形成差异化优势。1.58万亿Token的调用量,说明超长上下文已成刚需。

信号二:Claude Opus 4.7的279%增速是"发布效应"还是"持续增长"? 4.7强化了extended thinking能力,在复杂推理和多步骤Agent任务中体验显著提升。如果下周增速能维持50%以上,则说明4.7真正打出了差异化。

信号三:中美模型调用量首次持平区间。 中国4.37万亿 vs 美国4.98万亿,差距已缩至12%以内。考虑到中国模型在亚太地区有地理优势,全球AI能力真正进入"双雄并立"格局。


🔬 五、斯坦福/伯克利/英伟达联合发布LLM验证框架,超越Claude Mythos和GPT-5.5

【事件】 斯坦福、伯克利与英伟达联合研究团队今日发布"LLM-as-a-Verifier"验证框架,在Terminal-Bench等AI编程基准测试中,性能超越了Claude Mythos和GPT-5.5,取得当前最优(SOTA)成绩。

【技术解读】

LLM-as-a-Verifier的核心思路是:用一个专门训练的LLM来验证另一个LLM的输出正确性,从而构建更可靠的AI系统。

这与传统的"让模型自我批评"方法不同——自我批评存在模型盲点(模型不知道自己不知道什么),而专门的验证器可以从外部视角发现错误。

技术意义

  1. 对Agent可靠性的影响:当前AI Agent最大的痛点是"自信地犯错"。引入独立验证器,可以显著降低Agent在代码生成、逻辑推理中的幻觉率。
  2. 与MCP协议的协同:验证框架可以作为MCP工具链的一个节点,为复杂工具调用链路提供实时校验。
  3. 英伟达的战略意图:英伟达参与这一研究,与其GPU算力销售逻辑一致——更复杂的验证框架,意味着更多的推理算力需求。

这一框架暗示着下一代AI编程工具的方向:不只是"写代码的AI",而是"会验证自己写的代码是否正确的AI"。这对Cursor、Claude Code等工具的下一个版本影响深远。


📈 趋势总结

维度今日信号趋势判断
硬件入局OpenAI联发科/高通造AI手机AI端侧化加速,2028年拐点
价格战DeepSeek-V4缓存降90%API成本趋近于零是中期趋势
AI+科研23岁借GPT证明60年数学猜想认知民主化时代来临
调用量格局Kimi第一、Claude暴涨279%中美模型格局双雄并立
技术安全LLM验证框架SOTAAgent可靠性成下一个主战场

💬 互动时间

今天哪条新闻最让你震惊?是23岁小伙80分钟证明60年数学猜想,还是OpenAI要做手机?

欢迎在评论区聊聊你的看法!觉得有价值,点个赞支持一下~每天5分钟,和你一起追AI最前线 🚀


数据来源:OpenRouter、每日经济新闻、AITNT、郭明錤、DeepSeek官方 发布时间:2026年4月27日