5篇AI生成数学论文通过同行评审，Axiom Math获2亿美元融资
初创公司Axiom Math的AI系统8篇数学论文中5篇通过同行评审，完成2亿美元A轮融资。00后创始人洪乐潼从斯坦福退学创业，团队包括前Meta工程师与终身教授，用形式化证明消除AI幻觉。
标签： 人机协作
腾讯研究院发布《AI原生工作报告2026》：从信任鸿沟到可靠协作的十个关键词
腾讯研究院发布《AI原生工作报告2026》，提出从信任鸿沟到可靠协作的十个关键词，基于团队三个阶段的经验总结，探讨人与AI协作中的信任机制与校准路径。
上海浦东试点人机协同执法：无人机与智元人形机器人配合巡逻
上海浦东试点由智能无人机和人形机器人组成的“人机协同”执法团队，无人机实时检测违规，智元机器人Lingxi X2现场解释法规。人类警察做出执法决策，机器人承担重复沟通。该试点标志着中国机器人从工业向公共服务的扩展。