CVPR 2025 Tutorial：从视频生成到世界模型 MMLab@NTU团队&快手可灵等联合呈现
CVPR 2025 Tutorial探讨视频生成作为世界模型的潜力，涵盖学术界与产业界的最新研究。
Alibaba Cloud
AI也需要”记笔记”：Karpathy从Claude 1.6万字提示词中看到的未来
文章介绍了Claude系统的复杂提示词及其内容，提到了工具定义、用户偏好和风格、引用说明等多方面的细节，并讨论了系统提示学习的重要性及可能存在的问题。
Promptly AI Prompt Library：一个帮助你快速找到AI写作灵感的宝藏库
Promptly AI Prompt Library提供多种AI写作模板，涵盖教育、金融、艺术等，每个模板都有详细步骤和示例，支持保存和复用。
DeepSeek再开源！大模型直觉+强化学习新方法：AI 数学证明迎来新突破
今日 AI 模型 DeepSeek-Prover-V2 开源，专为 Lean 4 形式化证明开发。该模型在 MiniF2F-test 测试集上达到88.9%通过率，并成功解决PutnamBench中的49个问题。DeepSeek-Prover-V2-671B结合大语言模型直觉和强化学习，提出两步法：首先合成数据，再用强化学习提升模型能力。
文科生也能搞定编程和AI！DeepSeek助力零基础起飞全攻略
随着DeepSeek等AI工具的出现，编程和AI开发变得对所有人友好。文科生擅长理解需求、打磨细节和沟通协作，而这些正是AI开发中最稀缺的能力。通过自然语言交互、小步快跑式学习以及从小项目起步等方式，文科生可以快速进入编程与AI的世界，并利用AI助手创造自己的产品和服务。
致「硅孙儿」：HCP协议发布，人类的上下文指南
HCP（Human Context Protocol）旨在帮助科技产品理解和引导人类用户。文章介绍了七个章节的内容：谦卑欣赏、温柔认同、抚慰情绪、短打快感、讲故事、分层植入和场景搭建等策略，让科技更好地服务于人而非凌驾于人之上。
比真实还要真实：真实边缘
真实边缘更新到3.2，又增加了很多艺术风格。清新自然的优雅瞬间、传统服饰人物与棕榈树夜景、图片展示了一个人正在室内铺设瓷砖的楼梯上行走、雨天窗边的阅读时光、时尚几何：黑白图案单肩礼服造型、都市花漾（照片中的年轻女性特写）、繁花与鹦鹉环绕的优雅女性肖像。
硅谷聚会｜和明星公司CEO们讨论“AI+传统行业”的实操与机遇
4月25日晚6点，阿里云北美资深架构师联合硅谷明星公司CEO们讨论AI与传统行业的结合，分享干货和经验。活动地点在Menlo Park，涵盖地产、金融等多行业。
Grok Studio 来了：能写代码、做报告、做网站！
Grok Studio 是一款革命性的AI编程工具，支持Python代码执行、Google Drive集成和游戏开发等功能。它还提供智能文档生成、实时代码执行、协同办公整合等特性，并展示了浏览器游戏开发和数据仪表板设计能力。