OpenAI发布GPT-4.1系列模型，支持百万token上下文且价格更低

简报：

• OpenAI于4月15日发布GPT-4.1系列模型，包括GPT-4.1、GPT-4.1 mini和GPT-4.1 nano三款
• 新模型全系支持100万token上下文窗口，是GPT-4o的8倍
• 在编程、指令遵循和长文本理解方面表现优于GPT-4o系列
• GPT-4.1 nano是OpenAI迄今最快、最便宜的模型
• 目前仅通过API向开发者开放，普通用户无法在ChatGPT中使用
• GPT-4.5预览版API将于2025年7月14日弃用
• 价格方面，GPT-4.1比GPT-4o中等规模查询成本低26%

Gemini 2.5 Pro编程能力全球第一，谷歌推出更强大模型Dragontail

简报：

• Gemini 2.5 Pro在多语言编程基准测试中登顶全球第一，性价比优于Claude 3.7 Sonnet，成本仅6美元。
• 谷歌暗藏更强大的编程模型Dragontail，实测显示其编程能力超越Gemini 2.5 Pro。
• Gemini 2.5 Pro在Aider Polyglot基准测试中表现优异，支持多种编程语言。
• 谷歌首席科学家Jeff Dean发布TOP 10模型成本对比图，显示Gemini 2.5 Pro具有显著成本优势。

中国初创企业曦智科技研发光电混合芯片PACE，计算延迟低至3纳秒

简报：

• 曦智科技自主研发的光子计算处理器PACE（Photonic Arithmetic Computing Engine）采用光电混合架构，通过光执行矩阵向量乘法实现超低延迟和高能效计算。
• PACE在解决组合优化问题时计算延迟低至3纳秒，比传统GPU快两个数量级。
• 该系统集成了超过16000个光子组件，通过2.5D混合先进封装技术将光子集成电路（PIC）与电子集成电路（EIC）无缝集成。
• PACE的光子集成电路负责执行光矩阵向量乘法操作，电子集成电路处理控制、迭代逻辑、数据输入输出等功能。
• 这是曦智科技继八年前创始人沈亦晨博士在Nature发表封面论文后，再次登上该顶刊。

AI辅助破解50年未解数学难题

简报：

• 美国纽约布鲁克海文国家实验室华人学者Weiguo Yin使用OpenAI的o3-mini-high模型，在一维J1-J2 q态Potts模型中完成了首个非平凡数学证明。
• 该研究解决了数学界50年未解的难题，特别在q3情况下给出了精确解。
• 研究成果已发表在arXiv（论文编号2503.23758），扩展了之前q2（Ising模型）的证明。
• Weiguo Yin是南京大学校友，1998年获博士学位，现为布鲁克海文国家实验室物理学家。

何小鹏：年底实现L3级智能驾驶落地

简报：

• 小鹏汽车董事长何小鹏表示，小鹏非常有信心能够在2025年底实现L3级别的自动驾驶能力在中国量产落地。
• 何小鹏介绍，L3级别自动驾驶的接管次数为50到100公里接管一次，是L2级的数十倍能力。
• 小鹏汽车计划2025年第二季度量产自研的图灵AI智驾芯片，该芯片专为大模型定制，计算能力三倍于现有芯片。
• 小鹏汽车已建立"云—软—硬—芯"的全栈自研AI体系，全面面向自动驾驶研发设计。