有开发者把梁文锋、奥特曼、Dario 做成了格斗游戏角色，还能在线约好友对战，闲下来玩两把挺解压。
一位网友制作了一个像素格斗风格的小游戏，可用角色包括 DeepSeek 的梁文锋、Anthropic 的 Dario、OpenAI 的奥特曼和 Meta 的杨立昆。游戏支持在线邀请好友进行一对一对战。玩法类似拳皇，把几位 AI 公司掌门人变成了可选角色。
卧槽，这个太有梗了！ 🍅小哥直接拿梁圣、Dario、奥特曼、老马来搞“AI拳皇”。
神了还特么可以在线邀请好友对决，太绝了。 地址放到评论区👇🏻
DeepSeek 半年融资或到 1500 亿，全员扩招一倍还把推理框架 DeepInfer 开源了，规模扩张速度值得看一眼。
有人在 DeepSeek V4.1 Flash-1017 发布后独立测了它的失控和操纵风险，还和 GPT-6、Gemini 3.8 摆在一起对比，结论有具体建议，做安全评估的可以看看。
OpenAI 出了 GPT-6.1 Terra，博主实测后说就比 DeepSeek 1017 强一点，想换模型前可以看看这个对比
arXiv 上新出的 AgentProofBench，专门测 Web Agent 的验证器好不好用，用 DeepSeek 跑了近百个任务，做 Agent 评测的可以看看。
剪枝和 CoT 压缩一起用会互相打架，这篇论文给 DeepSeek-R1-Distill-Qwen-7B 剪 20% 权重还能省 8–22% 思考 token，掉分不到 0.5，做模型部署的可以看看。
