随后，香港理工大学教授杨红霞发表了"Co-GenAI：一种全新的基于融合驱动的生成式人工智能平 台"的主题演讲。她指出，当前大模型在产业化落地过程中仍面临"最后一公里"的挑战，特别是在垂直 领域的深度应用方面存在显著瓶颈。她强调，未来AI发展将呈现从中心化向去中心化演进的趋势，其 中小模型因其在特定领域的精细化定位优势，必将成为产业应用的主流方向。 在 "AI for Mathematics：数学的数字化与智能化"主题分享环节中，北京大学博雅特聘教授董彬指出， 当前数学研究效率的主要瓶颈在于理论验证与定理证明环节。随着人工智能技术的快速发展，AI工具 正在为数学研究和教学中的关键任务提供创新性解决方案。他强调，探索人机协同的数学问题解决模式 已成为当今数学界的前沿研究方向。 基于此，董彬提出了具有前瞻性的研究路径：首先需要对数学研究领域进行精细化和定制化的大语言模 型开发，这是实现自动推理的关键；其次，必须着力推进数学推理关键步骤的数字化进程，这一基础性 工作将有助于建立数学各分支学科之间的有机联系。通过系统训练模型的数学推理能力，可以显著减轻 数学家在机械化研究环节的工作负担，使其更专注于具有创造性和突破价 ...

人工智能应用落地 - 浦东加速推进AI技术应用 包括无人驾驶出租车、机器人倒垃圾、大模型写公文等场景 [1] - 模力社区打造垂类模型产业生态集聚区 吸引近200家上下游企业 覆盖底层技术、场景设计、算力支撑等环节 [10] - 国家地方共建人形机器人创新中心构筑国内首个异构人形机器人训练场 已有100多台人形机器人进行训练 [12] 大模型技术应用 - 衍因科技利用生物医药AI大模型提升科研效率与精准度 加速科研成果临床转化 [2] - 蜜度"模力通2.0"内置15种法定公文及22类事务性公文模板 实现公文"一键生成" [6] - 智子熹源"智子能碳专家"智能体助力企业节能5%-15% [2] - 羚数智能推出"百工工业大模型" 针对工业场景三大核心痛点 采用"工业基座+领域微调"架构 [10] 3D技术与智能体平台 - 稀树科技提供高精度全彩3D扫描-打印一站式服务 实现从平面到立体的三维重建 [6] - PPIO推出AI智能体平台 包含中国首款兼容E2B接口的PPIO Agent沙箱 支持动态调用多种工具 [7] - 华院计算推出"华院智能体平台" 支持开发者以"拖拉拽"方式快速构建智能应用 [7] 人形机器人发展 - 国地中心训练场涵盖智能制造、民生服务和特种应用三大领域10多个训练场景 [18] - "龙腾"VLA具身操作大模型已学习约600万条数据 训练场已采集260多万条数据 目标今年达1000万条 [21] - 机器人将在世界人工智能大会上展示商超服务、汽车工厂操作、观众互动等多项技能 [21] 自动驾驶进展 - 浦东开放第三批自动驾驶测试道路758.62公里 较去年205公里大幅增加 [27] - 世界人工智能大会期间将提供L4级自动驾驶接驳服务 覆盖30公里路网及跨区域接驳网络 [26][27] - 上汽智己、小马智行、百度智行、奇瑞汽车等企业参与自动驾驶体验活动 [26]