专题：2025世界人工智能大会新浪科技讯7月27日下午消息，在2025年世界人工智能大会（WAIC）的一场分论坛上，蚂蚁集团旗下蚂蚁密算宣布对外开源高阶程序（High-OrderProgram）大模型可信应用技术框架，探索智能与工程融合的AI应用新范式，致力解决大模型在专业应用中的可靠性困境，推动大模型在专业领域中规模化应用。他具体谈到，AI眼镜发展需要突破两大技术瓶颈，一是，好的AI眼镜一定要有好的交互能力，比如说跟用户进行的交互，不光要把信息录下来，还需要把信息通过投屏等方式传递给用户。二是，需要

专题：2025世界人工智能大会文丨新浪科技周文猛今年的世界人工智能大会（WAIC），具身智能迎来全面爆发。如祺出行CEO蒋华在发布会上表示，Robotaxi赛道已经进入比拼落地能力阶段，能否实现规模化商业落地，决定玩家们是否有资格在这个赛道走下去。公开信息显示，截至2025年6月底，如祺出行平台运营的Robotaxi运力超300辆，服务覆盖广州南沙，深圳宝安、南山，以及横琴粤澳深度合作区，运营站点超4000个，自有车队安全运营超400万公里。当天，如祺出行分别与广汽商贸、广汽能源，以及来自广州