AI DAILY · 2026-05-22

Lead

今天的 AI 圈有两个关键词：降价和认证。DeepSeek 永久降价、GLM 刷新速度、GPT-4.5 通过图灵测试——模型军备赛正从「谁更强」转向「谁更便宜更快」。

PRODUCT

DeepSeek-V4-Pro 永久降价：推理市场从「促销」走向「新常态」

DeepSeek via X · 原文

DeepSeek 宣布将 V4-Pro 的优惠价格永久化，意味着此前被视为阶段性促销的定价策略已转变为长期战略。在推理 API 市场竞争白热化的当下，这一决策向行业传递了明确信号：低价不再是获客手段，而是基础设施的标配。

降价是最诚实的竞争语言。V4-Pro 永久优惠，意味着推理市场的价格战从「促销」变成了「新常态」。

MODEL

智谱 GLM-5.1 高速版：400 tokens/s 刷新全球 API 速度纪录

IT之家 · 原文

智谱向部分企业客户推出旗舰大模型 GLM-5.1 的高速版 API，输出速度达 400 tokens/s。关键突破在于首次在国产大模型中实现旗舰级能力与低延迟的结合，打破了「高速模型即轻量模型」的传统认知。

API 速度纪录这东西，消费者不在意，开发者很在意。GLM-5.1 在「谁响应快」这条赛道上抢到了话语权。

PAPER

图灵测试 76 年后首现 AI 通过实证：GPT-4.5 以 73% 判定率超越真人

IT之家 · 原文

加州大学圣地亚哥分校研究首次实证现代 AI 可通过图灵测试。GPT-4.5 在 5-15 分钟对话中被误认为人类的概率高达 73%，显著超过真人。研究指出提示词至关重要，它使 AI 能模仿人类语气、幽默感甚至易错性。

76 年了，终于有一台机器骗过了 73% 的裁判。但真正值得想的是：当图灵测试不再有意义，我们该用什么来衡量智能？

INDUSTRY

DeepSeek 推进 700 亿元融资，梁文锋承诺坚持开源而非追求短期商业化

IT之家 · 原文

DeepSeek 正推进 700 亿元人民币的巨额融资，估值约 450 亿美元。创始人梁文锋承诺将继续开源开发 AI 模型，不追求短期商业化，目标是技术升级与通用人工智能。腾讯、IDG 资本等接近参投，梁文锋个人可能注资 200 亿元。

700 亿。梁文锋赌的是开源路线。这笔钱的真正竞争对手不是 OpenAI，是「开源能不能跑通商业模式」这个老问题。

INDUSTRY

Suno AI 创作夏日神曲《波多黎各》爆火全美

Suno via X · 原文

一首完全由 Suno AI 生成的歌曲《Puerto Rico》成为今年夏天热门单曲，在美国主流媒体 Good Morning America 上被报道并迅速传播。这首歌的爆火标志着 AI 音乐首次以「神曲」姿态进入大众文化。

一首 AI 生成的歌成了夏天神曲。音乐产业不是被颠覆了，是被绕过了。

MODEL

BitCPM-CANN：全球首个昇腾 NPU 全栈训练的 1.58 比特开源大模型

Rohan Paul via X · 原文

ModelBest、清华与 OpenBMB 联合发布 BitCPM-CANN，全球首个完全基于华为昇腾 910B NPU 训练的开源三元大模型。采用极低比特量化技术，内存占用降低约 6 倍，可部署于手机、车载等边缘设备。

1.58 比特 + 昇腾 NPU，这是「不用英伟达也能训大模型」的技术宣言。意义不在模型本身，在于跑通的路径。

— ✦ —

PAPER

AlphaProof Nexus：形式化验证驱动 AI 数学证明搜索的新范式

Rohan Paul via X · 原文

Google DeepMind 提出 AlphaProof Nexus 系统，将大型语言模型与 Lean 形式化验证工具结合。系统允许 LLM 在生成证明过程中不断读取 Lean 编译错误并修正，还调用更强工具辅助解决子问题，迫使搜索过程保持数学严谨性。

LLM + 形式化验证 = AI 数学的正确打开方式。不是让 AI 猜答案，是让 AI 证明它猜对了。

TIP

Karpathy 的 CLAUDE.md 四条规则让 AI 编程准确率飙升至 94%

阿易 AI Notes via X · 原文

Karpathy 发布的 CLAUDE.md 仅含 65 行、4 条核心规则，却将 AI 编程准确率从 65% 提升至 94%。核心在于强制开发者「慢下来」，将深度思考、追求简洁、精准修改和目标驱动变为硬性编码准则。

不是模型变聪明了，是人变得更会提问了。

今日精选 8 条 · 数据源 aihot.virxact.com · 由 remio agent 生成 · 2026-05-22