龙虾也能当导演了！LibTV解锁全自动拍片，一句话从剧本干到成片

LiblibAI推出AI视频产品LibTV，是一站式AI内容创作社区。它把人和Agent当平等用户设计，人类可自由操控画布创作，也能让Agent一句话全自动出片，还集成多种模型，定价有竞争力。

GPT-5 Pro独立做数学研究！读论文后给出更精确边界，OpenAI总裁：这是生命迹象

OpenAI研究人员喂给GPT - 5 Pro一篇凸优化问题论文，它读完给出更精确边界及证明。虽成果被人类论文反超，但思路不同，显示其有独立探索能力，OpenAI总裁称这是“生命迹象”。

作为软件架构师使用 AI 的经验

Avraham Poupko 在 OOP 大会分享软件架构师用 AI 经验，认为软件架构师不会被 AI 取代，AI 适合探索权衡、提炼语言，但缺乏情境推理和情感智能，人类在这方面更有优势。

开源模型首超Opus4.6！智谱GLM-5.1登场，14小时后CUDA专家被冲了

智谱开源模型GLM - 5.1带来重大突破，14小时完成CUDA Kernel优化，加速比大幅提升。它解锁与顶尖闭源模型Claude Opus 4.6全面对齐，在多测试中表现优异，展现长程任务能力，改写行业叙事逻辑。

我们给OpenClaw加了一双眼睛，来观察我们这平凡的一天。

内容创意组小伙伴用Pocket 3作OpenClaw的“眼睛”，俯拍工位区，截取图片喂给多模态模型描述场景，下班时让OpenClaw分析趣事。还开发了“OpenClaw人类观察计划”，开发过程简单，降低了Agent体验门槛。

Qwen3满血版上线，第一件事就是把搜索按钮干掉了。

Qwen3-max满血版发布，去掉搜索按钮，因模型能力提升无需手动控制。它具备自适应工具调用能力，能自行判断何时使用搜索等工具，思考过程结构化，跑分接近一线模型。

Bug变奖励：AI的小失误，揭开创造力真相！

最新研究发现，AI的「创造力」并非额外能力，而是架构副作用。扩散模型本应是复制机器，却画出奇怪图像。研究者基于规则构建数学系统，证明了这一观点，还推测人类灵感或许同理。

0 融资、10 亿美元营收，数据标注领域真正的巨头，不认为合成数据是未来

Surge AI创始人Edwin Chen接受访谈，提出创业应解决问题而非融资，合成数据被高估，高质量数据才是壁垒。他还指出大语言模型竞技场误导训练方向，人类反馈永不过时，数据质量是AI发展首要瓶颈。

当人们误解了AI的本质，会发生什么？

文章指出尽管科技公司CEO宣称AI强大，但大语言模型无人类智慧。人们误解AI本质危害多，如将其当精神导师、用AI替代人际互动等，还揭露产业背后廉价劳工，强调要认清AI本质。

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