「视频时代」共找到 2114 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
AgentA/B：用AI模拟用户，真人AB测试或将成为历史
宾夕法尼亚州立大学和亚马逊合作研发AgentA/B测试框架，用大语言模型生成虚拟用户模拟真实行为，成本低、速度快，还能绕开真实流量测试。虽有人质疑，但它或改变传统AB测试。
把事实核查嵌入诊疗流程：MedGuard给「诊疗安全」当守门人
蚂蚁AI安全实验室与厦门大学团队联合提出MedGuard，将医学事实核查嵌入诊疗流程。它是医疗安全基础设施，在诊疗意见等形成前验证事实，在评测和临床评价中表现突出，能准确判断风险边界，可嵌入医疗流程。
马斯克：2036 年，钱将不再重要。
马斯克在《经济学人》访谈节目中表示，2036年AI将远超人类智能总和，迎来富足时代，钱将不再重要。他还预测未来通缩，AI将替代多数工作，也提到AI安全监管、中美AI约束因素等。
三个理想火枪手创业，打破具身最快百台交付纪录
至简动力由理想智驾团队三位核心负责人创立，7月6日宣布首款全场景机器人i7 Pro完成首批百台交付，创下具身智能行业最快纪录。其与绿的谐波子公司合作落地全球首个CNC智能化具身机器人产线，i7 Pro还进入多场景。公司计划进入多领域，将发布新品。
AI眼镜不再依赖手机！这次真要单飞了
2026年AI硬件出货量飙升，但操作系统仍受GUI时代旧秩序束缚。乐奇Rokid在Rokid Open Day 2026上提出AIOS原生智能眼镜操作系统及AIUI交互标准，重构YodaOS，还搭建应用商店，构建开放生态。
飞书让表格变成「AI同事」加入群聊，不打开表就能用表
6月23日，Anthropic发布Claude Tag，让Agent进入Team Agent时代。飞书多维表格新功能「多维表格智能体」上线，思路类似，能让Agent成团队同事。它补齐权限和长期记忆，低门槛、可信，能主动工作。
Claude Code之父版「职场MBTI」：AI洗牌后只剩5类人，你选哪种？
Claude Code之父Boris Cherny提出AI时代「职场MBTI」，含原型师、建造师等五类角色。他认为传统职能将被洗牌，未来是通才的黄金时代，还给出团队组队方案及个人自救建议。
爆火！几天狂揽5万星，这个神器让AI一次砍掉54%屎山代码
最近开源项目Ponytail爆火，几天揽5万星。它将老程序员‘偷懒智慧’系统化喂给AI，让AI编码代理思考，使代码量直降54%，最高砍到94%，成本和时间同步下降，还保持100%安全。
阿里又放大招！一句话，造一个能走进去的世界
阿里上线HappyOyster 1.0世界模型，一句话生成可实时探索、交互的开放世界。它与文生视频不同，能让用户参与体验。该模型有世界探索和实时导演两大功能，技术优势显著，应用场景广泛。