[勇敢牛牛]最近的动态

哥德尔-Prover 超过 DeepSeek-Prover，陈丹琦团队造出当前最强形式化推理模型

最强中文 AI 绘图模型即梦 3.0 上线，设计师们又一次 emo 了。

科技爱好者周刊（第 372 期）：软件界面如何设计

刚刚，全球 AI 生图新王诞生！腾讯混元图像 3.0 登顶了

刚刚，OpenAI 发布白皮书：如何在 AI 时代保持领先 ｜ 机器之心

Y Combinator 对话：揭秘顶尖 AI 公司的提示工程秘籍

免费用！阿里通义大模型上新，超逼真音视频生成 SOTA！

重磅发布：Agent2Agent (A2A) 协议，引领 AI 互操作新时代

B 站消息新架构升级

#314.黄仁勋的管理哲学：英伟达创始人 Jensen Huang 的 20 条领导智慧