谷歌截胡OpenAI,抢走Windsurf团队;吴恩达:AI创业拼速度,代码不重要;Grok 4实测表现不一

新闻

作者：微信文章

All in AI，看见未来。 每天精选最值得读的AI文章，帮你筛掉时代的噪音。 以简讯见广度，以深读见洞察。 技术、趋势、思考，一站式掌握AI世界。

2025-07-12 资讯日报

新闻资讯

谷歌DeepMind截胡OpenAI，抢走Windsurf团队

谷歌DeepMind截胡OpenAI，抢走Windsurf核心团队。OpenAI收购协议排他期到期，Windsurf部分员工加入DeepMind，剩余团队继续运营，开发者担忧其未来。>阅读原文
Grok 4实测：完虐o3却数不清手指

马斯克称Grok达博士后水平，网友实测Grok 4。它在多方面完胜o3，还能写游戏、可视化概念，但也有翻车，如数不清手指，马斯克称其有改进空间。>阅读原文
SciArena上线！23款大模型科研比拼，o3夺冠

Ai2联合耶鲁、NYU推出SciArena，23款大模型比拼科研任务，OpenAI o3夺冠。它解决通用测试‘失效’问题，用众包等机制评估，但自动评估系统猜科研人偏好能力差，会推理的模型表现更好。>阅读原文
AI爆火，各类割韭菜骗局大揭秘

AI行业博主盘点爆火后的割韭菜骗局，如卖盗版GPT、天价提示词、高价课程、虚假证书算法课，还有克隆声音形象诈骗等，呼吁大家擦亮双眼，勿成韭菜。>阅读原文
吴恩达：AI创业要快人一步

吴恩达在YC演讲为AI创业者支招，强调执行要快。指出创业机会在应用层，可从专注想法、用AI编码、加快反馈、理解AI提升速度，先做产品再考虑“护城河”，教育领域也有前景。>阅读原文
前百川联创焦可新AI语音产品上线

前百川智能联创焦可创立“北京耳朵时间科技”，推出AI语音产品“来福”，定位语音电台应用，仅邀测。国内大厂未专注AI播客，焦可选日常语音交互赛道待市场验证。>阅读原文
Kimi新模型数学能力反超DeepSeek

Numina组织和Kimi团队联合打造的Kimi新定理证明模型超越DeepSeek。基于Qwen2.5 - 72B，有两大技术创新，在miniF2F基准测试表现出色，双方此前比赛有来有回。>阅读原文
Grok翻车，𝕏女CEO Linda Yaccarino黯然离职

Grok 4发布前夕，𝕏女CEO Linda Yaccarino辞职。任职两年她目标未达成，马斯克反复无常让工作难开展。Grok更新“黑化”引争议，“种族歧视”锅或归马斯克，𝕏发展也不佳。>阅读原文
张磊：底层系统能力是程序员护城河

IDEA研究院张磊在AICon大会上表示，当前AI应用发展快但大众预期乐观，研究需务实。他认为工业界应重实际问题，年轻人要夯实底层系统能力，与AI协作提升编程水平。>阅读原文
实测：用AI写代码效率反降19%

研究者让16位开发者完成246项开源代码任务，随机分有无AI辅助。结果使用AI任务平均时间增19%，与开发者预测的提升24%相反，研究还分析了可能导致变慢的因素。>阅读原文
产品应用

微软SambaY架构让Phi - 4min推理加速10倍

微软：基于Phi - 4 - mini微调出3B模型，用SambaY架构，支持64K token上下文，推理速度快10倍，解码效率等方面表现出色，逼近DeepSeek - R1 - Distill - Qwen - 7B。>阅读原文
Epic创始人：Grok4就是AGI

Grok4发布不到一天就受网友热捧，通过小球编程测试，动画惊艳。Epic创始人称其为AGI，马斯克附议。网友用多种方式测试，与o3对比、进行SVG绘图等，Grok4表现可圈可点，各玩法中模型仍有提升空间。>阅读原文
用 Lovart 生成超炫 PPT 视频封面

博主受海外老哥启发，探索出用 Lovart 生成动态 PPT 背景的提示词，并将提示词放在评论区供大家参考。>阅读原文
Kimi K2：开源模型激活国内AI编程潜力

歸藏：Kimi K2 模型开源且在基准测试获 SOTA 成绩，代码、Agent 等任务表现佳，前端能力强接近一流水平，还能驱动 Claude Code，成本低，将激活国内 AI 编程及 Agent 产品。>阅读原文
推荐文章

Avi Chawla：揭秘LLM运作原理

Avi Chawla：LLM本质是学习单词序列条件概率，预测下一个单词时依据上下文算概率。为避免内容单调，用温度控制生成结果的多样性和创造性。>阅读原文
黄益贺：揭秘通用Agent的“骨架”

黄益贺指出，Anthropic、Google等大厂推出基于命令行的编程工具，命令行Agent结合工具生态、Unix哲学和AI调度能力。通用Agent需感知、思考等能力，骨架由AI大脑、命令行身躯和MCP感官组成。>阅读原文
吴恩达：AI创业拼速度，代码不重要

吴恩达称 AI 创业成败关键在执行速度，最大机会在应用层。要想法具体、善用 AI 编程工具，还指出 AGI 被过度炒作，多数创业公司不必担心 token 成本。>阅读原文
搜索：从产品到AI时代基础设施

Lightspeed投资人表示，搜索正从产品转变为AI基础设施，AI需要专门搜索。搜索成基础设施会带来碎片化等变化，还存在为大模型提供网络搜索等机会，未来搜索API或获胜。>阅读原文
Loic Houssier：AI 时代开发与职业新挑战

Superhuman 工程负责人 Loic Houssier 认为，AI 改变开发流程和工作思维，虽提升效率，但难有单一指标衡量绩效。他提醒工程师适应变化，观望太久会影响职业发展，团队后续关注产品质量和生产力提升。>阅读原文



官网：www.AiReadingHub.com