“张飞出行”宣布完成7000万元融资
06-18
阿里云创业平台推出AI24小时系列文章，汇集国内外最新的AI人工智能前沿资讯，帮助AI创业者掌握最新行业资讯。
1. AI驱动的城市模型如何改变治理>>NVIDIA科学家团队将GPT-4连接到Minecraft游戏，创建了AI智能代理Voyager，它可以独立探索和学习生存技能。
与此同时，腾讯研究院的王鹏教授提出了大城市模型的概念，可以根据技术水平和城市现状提出优化任务，类似于城市体检和规划。
尽管一般大型模型在特定行业中的应用有限，但它们在处理复杂系统问题方面显示出潜力。
大型城市模型不仅需要处理文本数据，还需要处理各种复杂信息。
构建大型行业模型面临的主要挑战是算力成本和技术门槛。
例如，GPT-3数据集庞大，体现了构建大型行业模型时对计算能力的高要求。
大城市模型的应用场景包括辅助决策、敏捷治理和政务服务等，旨在通过数据分析、案例比较等方法提高治理效率。
（来源：36氪） 1、微软亚洲研究院推出VASA-1框架 >>VASA-1框架利用视觉情感技术，只需输入一张人像照片和一段语音音频，即可生成具有精确唇形同步的逼真面部行为。
以及带有自然头部运动的说话面孔的超逼真视频。
VASA 模型以音频和其他信号为条件，在潜在空间中生成整体面部动态和头部运动，然后使用面部编码器根据从输入图像中提取的外观和身份特征生成视频帧。
这项技术有可能彻底改变人类与人工智能系统的互动方式，改善残疾患者的沟通，使教育辅导变得更有趣，并为医疗保健和社交互动提供支持。
不过，有网友担心AI监控麦克风学习语音，也有网友指出，虽然存在瑕疵，但视频足够真实，足以欺骗毫无戒心的观众。
（来源：新智元） 2.加州理工华人用AI颠覆数学证明>>加州理工团队解决了Lean形式数学工具的一个bug，使得80%以上的数学证明步骤实现自动化。
这个成绩比之前的基线 aesop 提高了 2.3 倍。
Lean Copilot 的目标是使人类能够与大型语言模型 (LLM) 协作，以编写 % 准确的形式数学证明。
该工具解决了在精益中运行 LLM 推理的挑战，允许 LLM 提出证明策略，同时允许无缝的人工干预和修改。
实验表明，Lean Copilot 可以有效辅助人类进行自动化定理证明，提供了一个通用框架，可以在本地运行 LLM 推理，也可以通过 CTranslate 在服务器上运行 LLM 推理 2.（来源：新智元） 3. 特斯拉近期动作频繁>>特斯拉已最近在中国和美国市场进行了大裁员、降价，高管纷纷辞职，FSD（全自动驾驶）功能价格下调，更便宜车型的价格也被取消。
量产计划。
埃隆·马斯克宣布将于8月8日发布一款名为Robotaxi的无人驾驶汽车。
这是一款没有方向盘、制动踏板、后视镜等供人类驾驶员使用的设备的车辆。
马斯克正在调动公司所有资源，推动Robotaxi的量产。
这是一场史无前例的赌注，特斯拉的市值高达1亿美元。
特斯拉的自动驾驶算法分为三个级别：AutoPilot、Enhance AutoPilot 和 FSD。
为了训练FSD，特斯拉计划投资1亿美元购买算力芯片，用于训练完全无人驾驶的机器人驾驶员。
特斯拉还建立了超级计算中心Dojo来训练FSD驾驶模型，特别是端到端的大型模型。
（来源：车智） AI工具箱>>点击进入阿里云，汇聚市面上最新最全的AI工具。
从此，你的创意不再遥远#阿里云#创新创业#创业支持#创业资讯我们关注国内外最热门的创新创业动态，提供一站式资讯服务，传递行业热点实时新闻、深度评论和前景观点，帮助您了解新兴技术趋势和行业变化，洞悉未来技术趋势。
版权声明：本文内容由互联网用户自发贡献，本站不拥有所有权，不承担相关法律责任。如果发现本站有涉嫌抄袭的内容，欢迎发送邮件 举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。
标签：
相关文章
06-18
06-18
06-21
06-08
06-17
06-18
最新文章
Android旗舰之王的过去与未来
智能手表不被开发、AR眼镜被推迟，Meta的产品经历了一波三折
为什么Cybertruck是特斯拉史上最难造的车？
更新鸿蒙3后，文杰允许你在车里做PPT了
新起亚K3试驾体验：追求“性价比”，韩系汽车仍不想放弃
阿维塔15登场！汽车配备了增程动力，理想情况下会迎来新的对手吗？
马斯克宣布创建 ChatGPT 竞争对手！ OpenAI的CEO给他泼了冷水， GPT-5可能会发生巨大变化
骁龙无处不在，是平台也是生态