「未标注视频」共找到 1764 篇相关文章
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩第三支Lean 4自动化数学证明视频，携手GitHub Copilot挑战「ε - δ」极限问题。Copilot处理加法较顺，减法卡壳，乘法失控。复杂证明时它短板尽显，陶哲轩认为复杂证明还得靠人脑。
宇树机器人上市前再破纪录
IPO前夕，宇树科技放出新一代人形机器人「超人」预告视频，其打破两项世界纪录：0.85米短腿原地起跳2米高，冲刺跑峰值速度超博尔特。该机器人仅研发三月多，后续提升空间大。8月19日宇树将上市。
机器人也有“Aha Moment”！Zetta ζ 闭环物理智能体在线学习
端到端策略模型在物理世界失灵，现有在线学习路径未走通。清华 AIR 与域变换联合推出 Zetta ζ，通过三个闭环实现闭环物理智能体在线学习，实验显示其任务成功率高，还让机器人出现‘Aha Moment’。
连续自回归的dots.tts：小红书开源语音合成模型「基座」
语音合成赛道发展如早期大语言模型，路线未收敛。小红书与上海交通大学合作开源的 dots.tts，是 20 亿参数、全连续、端到端自回归 TTS 基础模型，有准确度高、可扩展等特点，还开源了代码。
Seedance 2.5 专业创作实测：3D导演台、局部重改、角色库如何释放模型能力
Seedance 2.5升级，3D导演台自带图片生成白模功能、打通3D工作流；有片段重拍实用功能；小云雀升级角色资产能力。除素材增加，其更理解原视频创意逻辑，还有多模态参考等功能，降低创作门槛。
世界模型评测的最大盲区，被这个新基准捅破了
过去一年，‘世界模型’成视频生成领域热词，厂商强调产品要模拟真实世界运行规律，但业界评测一直未能精准检验其‘物体恒存’的认知能力。为此，研究者提出新基准MemoBench，测试了主流模型，揭示其短板。
AI可以用任何手段、写任何东西，但你得是个“中年老登”
PingCAP 黄东旭称做 db9 项目未看到 AI 边界，语言、框架、数据库选型不再长期锁定，AI 能写任何软件。徐昊认为软件知识比代码重要，‘重写’概念或过渡。滕昱指出 AI 需‘老登’掌舵，企业软件维护仍存难题。
AI 时代到底该怎么管一个工程团队
Fiona Fung在Anthropic大会分享AI时代管理工程团队经验，指出软件工程瓶颈转移，需重构流程，介绍了少做和多做的事、技术辩论方式、代码评审分工等内容，还提及组织形态、指标及未解决的问题。
AI“带货”第一周就卖出一万美元？！前钉钉副总裁创业：12个Agent让普通人“躺赚”
Moras是攀峰智能（K2 Lab）推出的全球首款全自动商业Agentic AI，能包揽带货全链路。3月测试中，达人用它人均月GMV约1万美元。使用分选品、视频生成、发布三步，靠12个专业Agent协作。
马斯克版微信亮相：支持中文，加密聊天，还专门防截屏
马斯克版微信XChat将于4月17日上线，支持中文版。其核心主打加密聊天，功能有文字、图片等发送及视频通话，还内置Grok模型。不过网友质疑其难成功，因X已有聊天功能，且微信生态难撼动，市场竞争大。