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

计算机科学学术界死了吗？AI博士生该何去何从

本文整理了德克萨斯大学奥斯汀分校AI博士生曹晋的公开发帖，围绕大模型冲击下AI学术界灌水严重、研究范式过时的观点展开，探讨AI研究者与博士生的未来出路，引发业内广泛讨论。

刚刚，OpenAI成立独立数学顾问团！100+「已攻克」开放问题待审

OpenAI内部AI模型已解决超100道横跨多领域的长期开放数学问题，包含纳维-斯托克斯千禧年大奖难题。因AI出成果速度远超学界评议能力，OpenAI联合学界成立独立顾问团审查评估成果，回应数学界质疑。

预训练Token消耗直接腰斩！上海AI Lab&上交大提出全新预训练任务，开源首个8.9B隐空间大模型NCP-ArchPreview

本文介绍上海AI Lab与上海交大团队联合提出全新预训练任务NCP，打破传统逐词预测教条，开源全球首个8.9B规模离散隐空间基座大模型，预训练Token消耗仅需一半，收敛速度提升近一倍，下游性能显著提升，公开全部训练资产供全球研究使用。

狂裁70%工程师指望AI顶上？Android之神算了一笔账：补贴一旦退潮，AI账单直接贵过程序员

本文是Android知名开发者Jake Wharton的深度访谈，他经历行业裁员后明确拒绝AI相关工作，针对企业用AI取代工程师裁员算了成本账，同时分享了对Kotlin发展、编程语言、开源生态的观点，干货十足观点犀利。

梅涛的视频AI创业，最新产品来了

本文来自量子位，对梅涛旗下智象未来发布的AI视频创作智能体Vivago R1进行深度实测，介绍产品定位、技术架构，分析AI视频赛道分化路线，分享实测体验，探讨AI创作工具发展方向。

从自己出题到自己选题：耶鲁新方法让大模型 Self-Evolution 又进一步

本文解读了耶鲁、斯坦福等多机构联合提出的INFUSER大模型自进化新方法，针对现有方法仅以难度筛选训练数据的缺陷，提出用影响力分数筛选高价值训练题，实现双模型协同动态进化，实验验证效果显著。

刚刚，全球最强GPT-6 Astra来了！人类进入AGI时代

OpenAI官宣下一代旗舰模型GPT - 6 Astra，定义其为「世界上最智能、对齐程度最高」的模型。它多项基准测试成绩惊人，在编程、计算机使用等多领域表现卓越，还改写科研纪录，不过因安全能力强暂未全开放。

强化学习大本营新作：如何破解「学新忘旧」困局

阿尔伯塔大学强化学习团队提出FAME框架，解决持续强化学习“学新忘旧”问题。团队先定义基础概念，将知识整合写成优化问题，再受人类学习机制启发设计FAME，实验优势明显。研究还探讨持续学习的产业价值。

玻璃基板封装，进入量产前夜

英特尔三年前提出玻璃基板封装将成下一代先进封装关键路线，7月25日宣布与蓝思科技合作推进。玻璃基板优势多，曾受易碎性困扰，现此问题已基本解决，TGV工艺良率成量产关键，预计2027年订单释放。