2025 年 4 月的 AI 月报，你会看到：“评估（Evals）” 成为模型和 AI 产品开发的关键词；Google 继续提升 Gemini 模型能力的思路； OpenAI 的 GPT-4o 为什么变得谄媚，以及背后的问题；用户规模与模型能力提升关系不大？可能要有变化了
E2B 的愿景很大，CEO 的目标是成为 AI Agent 时代的 AWS，成为一个自动化的 infra 平台，未来可以提供 GPU 支持，满足更复杂的数据分析、小模型训练、游戏生成等需求，并可以托管 agent 构建的应用，覆盖 agent 从开发到部署的完整生命周期。
本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。这才几天的时间，这个估计验证工具的 2.0 版本就来了！
字节Seed首次开源代码模型！Seed-Coder，8B规模，超越Qwen3，拿下多个SOTA。它证明“只需极少人工参与，LLM就能自行管理代码训练数据”。通过自身生成和筛选高质量训练数据，可大幅提升模型代码生成能力。
最近阿里通义实验室应用视觉团队负责人薄列峰被曝离职，引起了一轮热议。而这已是继2月语音团队负责人鄢志杰、2024年8月大模型技术负责人周畅之后，阿里AI核心部门第三次失去关键人物了。
今年3月，DeepSeek迅速席卷全国医疗机构。据不完全统计，短短一个月内全国已经有 超300家 医院完成DeepSeek的本地部署，遍布北京、上海、安徽、四川、广东、河北、湖南、江苏等二十多个省市和自治区。
怎么老是你？？？（How old are you）尤其是最近Meta FAIR研究员朱泽园分享了他们《Physics of Language Models》项目的系列新进展后，有网友发现，其中提到的3-token因果卷积相关内容，沙哥等又早在三年前就有相关研究。这是最近网友不断对着Transformer八子之一的Noam Shazeer（为方便阅读，我们称他为沙哥）发出的灵魂疑问。
梵蒂冈宣布，美国红衣主教Robert Prevost正式当选新任教皇。有趣的是，在一次预测中，AI却完全完全漏掉了他！
坐标上海张江，人形机器人玩家傅利叶迎来十周年，在十周年庆典暨首届具身智能生态峰会上，CEO顾捷宣布了下个十年的规划：
ChatGPT捅破大学作弊天花板，美国高校陷前所未有信任危机：从被哥大开除的「AI作弊明星」Roy Lee，到教授们徒劳识别AI论文，一代学生在ChatGPT陪伴下成长为「文凭文盲」。当大学的知识、学历与能力脱钩，谁来为崩塌的教育买单？
一个月前，在旧金山全球游戏开发者大会上，AI原生独立游戏《1001夜》的制作人担任GDC Al Summit的演讲者，分享游戏中大语言模型驱动的核心玩法设计，与世界各地的游戏开发者进行了深入的交流。
近日，扣子空间（Coze Space）宣布正式开放测试，无需邀请码即可直接注册使用，用户可直接登录官网（https://space.coze.cn）进行体验。扣子空间上线初期，服务器就爆了一整天，当时一码难求，很多人为了第一时间体验，在网上花几十甚至上百元去获得邀请码。
海内外大厂大模型研发正在进入新升级周期，为了加速补齐技术短板，腾讯混元近日进行了大幅架构调整，重构研发体系。但面对海内外对手的凌厉攻势，手握大把国民级应用的腾讯，还需要找到更好的攻防节奏。
最近，奥特曼再次出席美国国会山听证会。他对美国政府呼吁：一定要放开监管，过早设定标准，对美国AI将是一场灾难！另外他还透露，OpenAI第一个开源模型，会在今年夏天发布。值得一提的是，奥特曼神秘的家庭生活，也在一位记者的亲身探寻下，让我们窥到了一斑。
腾讯科技《具身之路》系列直播，关注具身智能技术演进、场景应用与行业争议。本期直播，分享人形机器人复刻真人背后的难点和刚需。过去一年，关于人形机器人到底应该“多像人”，行业内外已有不少讨论。但如果把“像人”进一步拆解，会发现这个问题远比想象中复杂。
根据TechCrunch和Semafor等报道，美国财政部正在审查Benchmark Capital对中国初创公司Manus AI的7500万美元投资，据两位知情人士透露，这已经反映出中美之间的科技竞争已经升级到政治层面。
5月9日，京西智谷潭柘智空基座大模型体系及应用平台建设项目开标，北京智谱清言科技有限公司中标，金额6400万元。根据此前公开的采购公告，本项目招标范围是：文生图片平台、图生视频与视频生视频平台、汉藏平台、多语种平台、AI数字人与垂类大模型对接平台、集成总平台等。
小天才和小镇做题家，在AI赛道都有光明的未来。
近日，在红杉资本主办的 AI Ascent 上，OpenAI 研究科学家 Dan Roberts 做了主题为「接下来的未来 / 扩展强化学习」的演讲，其上传到 YouTube 的版本更是采用了一个更吸引人的标题：「9 年实现 AGI？OpenAI 的 Dan Roberts 推测将如何模拟爱因斯坦。」
金融科技巨头Stripe 周三在其年度用户大会 Stripe Sessions 上宣布了一系列新产品发布。
Qwen上新“AI前端工程师”Web Dev，一句话开发网页应用。
刚刚，外媒爆料：2个月内，英伟达的中国特供版H20就要来了！不过，这次为了满足新的出口管制，H20在阉割版的基础上又继续做了阉割。H20订单已经爆了，总额达180亿！
4月份，ChatGPT网站访问量逆势增长182%，超越马斯克的X社交平台（原Twitter），全球排名第5。连输两起反垄断诉讼，谷歌搜索被曝访问量20年首次下滑，或因GenAI抢流量。
在所有人都在忙着堆模型、比参数、拼融资时，一家总部位于巴黎的 AI 初创公司，用仅有 5 人的精简团队创造了ARR（年经常性收入）500 万美元，并已经实现盈利。它不靠爆款产品，也没有明星创始人，但它解决的是每个广告人都头疼的问题：如何更快、更便宜、更高效地制作出转化率更高的视频广告。
“DeepSeek告诉我们，投流的逻辑是不成立的。”5月8日，久不露面的阶跃星辰CEO姜大昕，出现在北京的一场媒体沟通会上“在多模态领域，如果任何一个方面有短板，都会延缓探索AGI进程。”姜大昕给出了一个鲜明的判断。过去一年中，他在不同场合都在反复提及：多模态是实现AGI的必经之路
本周三，Zed 宣布推出全新的 Agentic Editor 功能，并声称其为目前市场上速度最快的 AI 代码编辑器。此举无疑将加剧开发者在选择代码编辑器时的考量，使得原本就备受关注的编辑器之争更趋激烈。
据EETimes报道，美国AI芯片独角兽SambaNova Systems近期宣布将裁员77人，约占其500名员工的15%。此次裁员正值该公司偏离最初目标，放弃做AI训练，转向完全专注于AI推理。
王兴兴代表的是后面一群人。社区里的用户他本身也是社区的一部分，社区的用户也会去邀请他认为值得来分享的人，本身也是社区的组成部分。王兴兴也是非常勤奋的一个人。
日本AI产业呈现封闭生态，头部公司Preferred Networks和PKSHA依赖本土大企业定制化服务，缺乏国际化突破。前者技术强但转向本土合作，后者侧重应用型AI盈利。产业链由大企业、政府、大学形成闭环，政策推动项目制需求，抑制通用型AI创新，导致日本错失全球AI竞争机遇。
