本周二，我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具，来验证涉及任意正参数的给定估计是否成立（在常数因子范围内）。这才几天的时间，这个估计验证工具的 2.0 版本就来了！
最近阿里通义实验室应用视觉团队负责人薄列峰被曝离职，引起了一轮热议。而这已是继2月语音团队负责人鄢志杰、2024年8月大模型技术负责人周畅之后，阿里AI核心部门第三次失去关键人物了。
怎么老是你？？？（How old are you）尤其是最近Meta FAIR研究员朱泽园分享了他们《Physics of Language Models》项目的系列新进展后，有网友发现，其中提到的3-token因果卷积相关内容，沙哥等又早在三年前就有相关研究。这是最近网友不断对着Transformer八子之一的Noam Shazeer（为方便阅读，我们称他为沙哥）发出的灵魂疑问。
当以端到端黑盒训练为代表的深度学习深陷低效 Scaling Law 而无法自拔时，我们是否可以回到起点重看模型表征本身——究竟什么才是一个人工智能模型的「表征质量」或者「泛化性」？我们真的只有通过海量的测试数据才能抓住泛化性的本质吗？或者说，能否在数学上找到一个定理，直接从表征逻辑复杂度本身就给出一个对模型泛化性的先验的判断呢？
海内外大厂大模型研发正在进入新升级周期，为了加速补齐技术短板，腾讯混元近日进行了大幅架构调整，重构研发体系。但面对海内外对手的凌厉攻势，手握大把国民级应用的腾讯，还需要找到更好的攻防节奏。
5月9日，京西智谷潭柘智空基座大模型体系及应用平台建设项目开标，北京智谱清言科技有限公司中标，金额6400万元。根据此前公开的采购公告，本项目招标范围是：文生图片平台、图生视频与视频生视频平台、汉藏平台、多语种平台、AI数字人与垂类大模型对接平台、集成总平台等。
小天才和小镇做题家，在AI赛道都有光明的未来。
日本AI产业呈现封闭生态，头部公司Preferred Networks和PKSHA依赖本土大企业定制化服务，缺乏国际化突破。前者技术强但转向本土合作，后者侧重应用型AI盈利。产业链由大企业、政府、大学形成闭环，政策推动项目制需求，抑制通用型AI创新，导致日本错失全球AI竞争机遇。
眼花缭乱了。为争夺AI人才，大厂们齐齐放大招！
