Lean Copilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？ 就在刚刚，加州理工教授Anima Anandkumar宣布，团队发布了Lean Copilot论文的扩展版本，并且更新了代码库。
AniPortrait 模型是开源的，可以自由畅玩。
北大团队联合兔展发起了一项Sora复现计划——Open Sora。
只靠一张物体图片，大语言模型就能控制机械臂完成各种日常物体操作吗？
近半年来，文生视频、图生视频类的工具层出不穷，让人眼花缭乱。但不少实际体验过的用户一定会感受到，脑中的想法转化为语言尚且不易，而人类的语言复杂而精妙，想要再找到准确的提示词，让AI正确理解我们的意图，继而转换为图片和视频，实在是太难了。
有人借助了阿里之前走红的AI技术——AnimateAnyone，生成出来了这个舞蹈片段。技术圈的盆友对这个技术都不陌生，“出道”至今仅仅1个月时间，这个项目便已经在GitHub上斩获了超1.1万个star。
Zoom CTO黄学东发文，讨论了Zoom对于高效处理AI任务需求采用的技术——Zoom联邦AI。达到GPT-4性能的同时，Zoom AI只用了不到10%的成本。
来自阿里的研究团队提出了一种名为 Animate Anyone 的方法，只需一张人物照片，再配合骨骼动画引导，就能生成动画视频。
MyFoodPlanit是一家2023 年新成立的美国公司。该公司提供一款全能食物工具，可以帮助用户构建食谱、制定餐饮计划以及对应的购物清单，同时还提供有用的人工智能助手来跟踪食物摄入情况。
就在昨天，美国著名在线会议工具Zoom（相当于中国的腾讯会议）宣布，公司推出的生成式人工智能助手 AI Companion，，在推出不到两个月后取得了里程碑数据，目前已经有超过125,000个帐户使用AI Companion，生成了超过一百万个会议摘要。Zoom对AI Companion的成绩非常满意，后续将增加新功能，包括额外的语言支持以及对AI Companion现有功能的进一步增强。
