今天的节目将聚焦几大科技动态：腾讯混元推出国内首个交互式 AI 播客，用户可随时提问的交互功能能否打破内容深度局限？73% 的 AI 初创公司被曝技术宣传与实际落差，"套壳" 模式是聪明创新还是欺诈？理想智驾押注 VLA 挑战华为，多模态大模型能否助其登顶智驾第一梯队？AI 辅助生成超 6000 行数学形式化证明，是否加速了数学界开放问题的解决？接下来让我们来解锁这些商业科技动态吧。 00:01:25 腾讯推交互式 AI 播客及 AI 创新路演动态  00:05:02 AI 初创公司技术套壳现象调查  00:09:45 理想智驾研发...