通过利用来自学生的在线策略采样和来自教师的密集监督，在线策略蒸馏配方以一小部分成本，达到了过去需要高昂计算成本的强化学习才能达到的能力。

陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。这种「vibe coding」式合作，也让数学家重新思考：AI或许不是独立的解题者，却正在深刻改变数学研究的工作方式。

当我们惊叹于GPT-4的语言能力时，FG-CLIP 2正在默默重塑AI的"视觉神经系统"。它让机器不再只是"看图说话"，而是真正理解视觉世界的微妙差异——无论你说中文还是英文。

最近，Meta的PyTorch团队与Hugging Face联手推出了一个开源项目，试图为这个难题提供标准化解决方案。

这一次新入组的两位中国成员，也都一路闪光。她们都是华人，也都是学霸履历，博士生「胡珂雅」+博士后「李宗宜 」。

近日，Meta员工priiir（网名）发帖，称团队中除自己之外全是华人，他因不懂中文而无法融入团队。在硅谷，无论Meta，还是OpenAI、谷歌，越来越多的科技企业和机构中，华人力量开始崛起，也带来了文化隔阂上的挑战。

DeepSeek、文心、Grok都是空仓，其他的持仓看了一下都是在做多，只有Gemini 2.5 Pro比较抽象，上来先做空PLTR，亏了不少，直接倒数第一。

微信AI和清华大学团队想了个办法：把多个token打包成一个连续向量，让模型每次处理一个向量，而不是一个token。这样一来，比如一个序列的长度为T，将K个token打包为1个向量，序列长度就会缩短为T/K。

尽管最近针对Chalk与Debug的全球最大供应链攻击仅带来区区600美元的直接损失，却揭示了一个更深层的危机——软件信任链的系统性崩塌。现代供应链攻击不再依赖零日漏洞，而是以钓鱼、社交攻击、AI伪装和自动化蠕虫为武器，渗透维护者、注册表与开发环境。