狙击Gemini 3！OpenAI发布GPT-5.1-Codex-Max

Gemini 3力压全场，OpenAI发布GPT-5.1-Codex-Max应对。它突破上下文窗口限制，能连续工作超24小时，在METR达新SOTA，推理更快，还推出xhigh推理力度选项，已支持与多种工具结合。

游戏研发中的 AI 转型：网易多 Agent 系统与知识工程实践

本文整理自网易游戏高级技术经理林香鑫分享，介绍大模型在游戏研发落地实践。团队用代码知识谱图、多 agent RAG 召回等技术打造超级助手，在多业务场景落地，推动内部 AI 生成代码覆盖率提升。

牛芯基于UB协议，以IP筑牢生态根基

本文围绕牛芯半导体在UB协议生态中的IP布局展开。UB协议填补国内空白、打破国外垄断，牛芯的PHY IP等取得进展。还介绍其设计理念、架构优势等，如对等架构、单边语义等，以及在内存池、拥塞控制等方面的应用，助力开放算力生态。

播客手记 01 | 极睿武彬：创业就是，我愿意过刀尖舔血的生活

本文讲述极睿科技武彬的创业历程。早期获融资后业务方向错误致公司濒临绝境，后转型对接传统商家获黄峥融资。疫情时他转型销售挽救公司，还成“网红”提升获客效率，他认为创业要回归商业本质。

谢赛宁团队新基准让LLM集体自闭，DeepSeek R1、Gemini 2.5 Pro都是零分

纽约大学等8家机构研究者提出LiveCodeBench Pro竞技编程基准测试，评估了Gemini 2.5 Pro等前沿大模型。发现当前模型有显著不足，在无外部工具时，高难度题通过率为0，LLM与人类大师级水平差距明显。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

我拿到了豆包 AI 手机，但它已被围剿

作者拿到豆包AI手机时，它已被部分产品禁止使用。此为面向行业和技术爱好者的技术预览版，内置AI Agent可像人一样操作手机，还介绍了功能、架构等，但推广因App墙受限。

Stripe x Cursor，硅谷两代“金童”对谈: 未来5年IDE里将不再是代码

本文是 Cursor CEO Michael Truell 和 Stripe CEO Patrick Collison 的深度对谈，讨论了 Stripe 的技术实践、编程的未来。如 LLM 会改变 IDE，未来编程更重需求描述；还提到 Stripe 的技术选型、API 重写计划等。

大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准

现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。

AI消灭感冒被提上日程，Anthropic和OpenAI罕见联手

全球支付巨头 Stripe 投资 5 亿美元建立非营利组织 Intercept，目标是解决呼吸道感染问题。Anthropic、OpenAI 等机构和个人也参与支持。Intercept 从广谱预防药物和空气净化杀菌技术两方面着手，科技公司也将提供技术助力。