九章云极问鼎陶哲轩数学挑战赛！让强化学习成为AI4S新基建

本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分，解决28个未解决开放数学问题，介绍了其可验证AI+强化学习的AI4S布局。

4000 万美金新一轮融资，ACE 成为 AI 音乐赛道融资额最高的华人团队

近日，AI音乐公司ACE完成近4000万美元新一轮融资，成AI音乐赛道融资额最高的华人团队。它自己训练音乐基础模型与做应用，构建数据飞轮，还推出新消费级产品Miya，欲打造AI时代的Spotify。

最近涨疯了，用这个开源项目打造卫星追踪副业！

最近A股市场卫星概念大热，太空产业受关注。Github上有开源卫星可视化平台`keeptrack`，非工程师能轻松用它追踪卫星轨迹，程序员还能二次开发。它功能多、性能好，免费开源。

Vibe Coding两年盘点：Windsurf已死、Cursor估值百亿，AI Coding的下一步怎么走？

文章回顾2023年初到2025年中AI Coding发展，涉及Cursor、Codeium等产品轨迹。指出极端‘坏用户’使商业模式崩塌，需平衡‘交付质量’与‘token成本’，还提及‘Knowledge Suggestion’功能及目标用户选择。

首个开源多模态Deep Research智能体，超越多个闭源方案

首个开源多模态Deep Research Agent登场，整合多种工具并优化决策。其WebWatcher技术方案覆盖全链路，实验中在四大核心领域领先主流模型，展现复杂推理和信息检索实力。

英伟达让机器人「做梦学习」，靠梦境实现真·从0泛化

英伟达推出DreamGen项目，让机器人‘做梦学习’。它利用视频世界模型生成神经轨迹，仅少量现实视频就能让机器人学会新任务，实现从0泛化，还将助力GR00T - Dreams发展。

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的口碑争议与推迟发布的安全漏洞问题。

西湖大学张驰团队：从视觉合成到空间理解，视频 AI 正在「转向」丨CVPR 2026

过去两年视频生成发展近成熟，但多数模型缺乏空间结构稳定建模能力。西湖大学AGI Lab团队提出论文，将问题落回推理阶段，让相机轨迹成约束条件，推进视频生成到三维结构约束建模。

RAE的终极形态？北大&阿里提出UniLIP: 将CLIP拓展到重建、生成和编辑

北大和阿里团队提出 UniLIP，解决了统一多模态模型中语义理解与像素重建的矛盾。它创新微调 CLIP，实现图像重建，还提出双条件架构用于生成和编辑，在多基准取得 SOTA 性能。