阿里云【AI24小时】2024年4月23日

阿里云Startup平台推出AI24小时系列文章，网罗国内外最新的AI人工智能前沿资讯，帮助AI创业者掌握最新行业资讯。

1.AI驱动的城市模型如何改变治理 >>

英伟达科学家团队将GPT-4接入Minecraft游戏，创建了AI智能体Voyager，它能够自主探索并学习生存技能。同时，腾讯研究院的王鹏教授提出了城市大模型的概念，该模型能够根据技术水平和城市状态提出优化任务，类似于城市体检和规划。尽管通用大模型在特定行业应用有限，但它们在处理复杂系统问题上展现出潜力。城市大模型需要处理的不仅是文本数据，还包括多种复杂信息。构建行业大模型面临的主要挑战是算力成本和技术门槛。例如，GPT-3数据集的体量巨大，反映了行业大模型构建时的高算力需求。城市大模型的应用场景包括辅助决策、敏捷治理和政务服务等，旨在通过数据分析、案例对比等方式提升治理效率。（来源：36kr）

1.微软亚洲研究院推出VASA-1框架 >>

VASA-1框架利用视觉情感技巧，只需输入一张肖像照片和一段语音音频，就能生成具有精确唇音同步、逼真面部行为和自然头部运动的超逼真说话面部视频。VASA模型在音频和其他信号的条件下，在潜空间中生成整体的面部动态和头部运动，然后使用面部编码器从输入图像中提取的外观和身份特征生成视频帧。这项技术有潜力彻底改变人类与人工智能系统的交互方式，改善有障碍患者的交流方式，增强教育辅导的趣味性，以及在医疗保健和社会互动中提供支持。但有一些网友担心AI监听麦克风学习语音，而另一些网友指出虽然存在瑕疵，但视频的逼真度足以欺骗不知情的观众。（来源：新智元）

2.加州理工华人用AI颠覆数学证明 >>

加州理工团队解决了Lean形式化数学工具中的一个bug，使得80%以上的数学证明步骤可以自动化，这一成果比之前的基线aesop提高了2.3倍。Lean Copilot旨在启动人类与大型语言模型（LLM）的协作，以编写100%准确的形式化数学证明。该工具解决了在Lean中运行LLM推理的挑战，允许LLM提出证明策略，同时允许人类无缝干预和修改。实验表明，Lean Copilot在辅助人类自动化定理证明上是有效的，提供了一个通用框架，可以通过CTranslate 2在本地或服务器上运行LLM的推理。（来源：新智元）

3.特斯拉近期动作频繁 >>

特斯拉近期进行了大裁员，中美市场降价，高管离职，FSD（全自动驾驶）功能降价，取消了更廉价车型的量产计划。埃隆·马斯克宣布将于8月8日发布一款名为Robotaxi的无人驾驶车辆，这是一款没有方向盘、刹车踏板、后视镜等为人类驾驶员服务设备的车型。马斯克正在调集公司所有资源，全力推动Robotaxi的量产，这是一次前所未有的赌注，特斯拉的市值高达4500亿美元。特斯拉的自动驾驶算法分为三个层级：AutoPilot、Enhance AutoPilot和FSD。为了训练FSD，特斯拉计划在2024年投入100亿美元购买算力芯片，以训练完全无人驾驶的机器人司机。特斯拉还建设了超算中心Dojo，用于训练FSD的驾驶模型，尤其是端到端大模型。（来源：车智）

AI工具箱 >> 点击 进入

阿里云汇聚市面上最新、最全面的AI工具。从此，让你的创意不再遥远