“光靠人盯不住了”！拆解上万张晶圆，这家公司靠 AI 将芯片良率提升数个百分点

喆塔科技创始人赵文政看好半导体软件领域引入AI技术。喆塔将DeepSeek接入自研模型，应用机器学习算法提升半导体企业良率，构建智能生态系统，产品获客户认可，未来将加大研发投入。

4月30日凌晨，Meta举行首届AI开发者大会LlamaCon，推出Meta AI聊天机器人应用程序与ChatGPT竞争，发布Llama API。Meta试图强化开源模型生态系统以限制OpenAI发展，扎克伯格与微软CEO还探讨了开源闭源模型生态等内容。

GPT-6 Sol被曝即将发布？内部「AGI」已浮出水面

本文整合X平台多方信源爆料，曝光OpenAI即将发布的GPT-6 Sol的定位、定价、技术背景，同时爆料Anthropic将提前发布新品截胡，还披露GPT-6 Astra的口碑争议与推迟发布的安全漏洞问题。

GPT-6 Sol和Opus 5.2同时灰测！奥特曼阿莫迪周末刚喊刹车，一上班就踩油门

本文爆料OpenAI和Anthropic同步灰度测试新一代大模型GPT-6 Sol和Claude Opus 5.2，对比了模型性能提升，同时提到OpenAI GPT-5.5即将退役，带来AI大模型领域最新前沿动态。

开源模型两个月内杀死比赛

过去60天，Vercel AI Gateway调用数据显示，开源模型Token调用份额从28%涨至62%，反超闭源模型。英伟达60亿美元入局扶持，闭源虽推新降价仍失领先，开源走向大规模应用。

5w颗星！前Google工程师为Agent打造的设计系统

Anthropic的frontend - design是Claude首个广泛使用设计技能，Impeccable由此起步并扩充功能。它有一次设置流程、23条命令、59条确定性检测规则等，还给出反模式，介绍多种安装方式及使用方法。

终于！世界模型进入“有声时代”：24FPS画面+48kHz立体声实时生成

过去两年视频生成模型不断提升画面参数，但传统模型生成的视频固定，用户无法干预。而世界模型可跟随操作实时渲染、动态生成世界。目前Noiz AI联合多机构发布实时可交互音视频世界模型HelixWorld 1.0，后续还将开源。

刚刚，中国AI交卷！40年难题56分钟破局，AI不再「学习」

文章介绍AI科研应用新趋势，从学习已知知识转向搜索未知解。以百度‘伐谋’为例，它助力南京林业大学检测松材线虫病，还在多学科和产业场景中展现价值，百度还启动科学家计划推动其发展。

OpenCode AI编程实践：利用推理路由低成本开发游戏

文章介绍用 OpenCode 结合 DigitalOcean 推理路由器开发点球大战游戏 PK Shootout。其按任务选模型，多数任务路由到 MiMo V2.5 和 GLM - 5.2，成本约 8.25 美元，远低于只用前沿模型。文中还分析开发各环节及适用场景。

重写手机AI安全边界！首个MoAI攻防SoK，系统梳理三大安全支柱

墨尔本大学等联合发布论文指出，移动端AI硬件和模型发展使MoAI成重要范式，但带来安全风险。论文给出统一框架，拆解系统为四层，定义三大安全支柱，梳理攻击、防御图谱等，还提出开放问题与未来方向。