「AI数据分析」共找到 11137 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
对话光帆科技董红光：Manus 让 Agent 走红，但真正的 AI 载体不只有手机
本文是对光帆科技创始人董红光的专访，围绕AI时代的交互与硬件趋势展开。董红光认为AI最合适载体非手机，光帆发布全球首款视觉感知AI耳机，介绍了产品设计原理、操作系统研发等，并探讨了AI硬件市场现状与未来。
一口气集齐老黄苏妈英特尔，还得是AI，还得是联想
CES 2026上，各大厂商行动显示所有设备将成AI设备，有「物理AI」等新趋势。联想集团杨元庆提出混合AI是推动AI普及的终极路径，联想还发布相关产品，展现其在AI生态的优势。
10岁孩子都能训机器人！对话松应科技创始人：做物理AI界的“安卓”挑战英伟达，正将其开源开放
松应科技创始人聂凯旋表示团队对标英伟达，四年达其主流能力，产品落地多家企业。松应发布 ORCA Lab 1.0 开发者版，降低具身智能研发门槛。其采用开放生态，构建数据策略，目标培养物理 AI 人才，推进自主创新。
喊话谷歌、OpenAI，微软AI CEO亮出「人文超级智能」底牌
微软AI CEO苏莱曼称AI已超越人类，他在组建微软超级智能团队时提出「人文主义超级智能」概念，认为超级智能发展有风险，要确保AI站人类一边，还看好其在医疗领域应用。
AI引爆全球失业潮，美国大学生毕业即失业！全球大厂联手裁员上万
新智元报道，AI已引爆全球失业潮，多邻国等全球五家大企业因AI裁员上万人，美国大学毕业生失业率高达5.8%。企业为削减成本用AI取代人力，这不仅是技术革新，更是职场地震，改变了劳动力市场。
GTC 巅峰对话 Jeff Dean x Bill Dally：预训练范式已死、延迟瓶颈不在计算、谈透 AI 五年未来 | GTC 2026
GTC 2026上，NVIDIA首席科学家Bill Dally和Google Jeff Dean展开重磅对话。讨论了模型能力进步、低延迟推理架构、模型自主进化、数据与算力、训练与推理硬件差别等多方面内容，分享对未来AI的看法与见解。
寻找 8 支 AI Native 硬件团队，好产品应该被更多人看见
今年是AI硬件爆发年，AI硬件重新定义人与设备关系。百度智能云联合Founder Park在Create 2026百度AI开发者大会设「AI硬件产品快闪」，邀8支团队展示三类AI Native硬件，还将提供多种支持。
专访 AI 游戏创业者张昊阳：如何用《麦琪的花园》定义下一代沙盒范式
AutoGame创始人张昊阳离开腾讯后，带领团队打造AI游戏《麦琪的花园》，登上Steam新品榜Top50。他介绍了创业经历、产品玩法、团队分工等，还探讨AI对游戏行业的变革，认为AI游戏将带来行业范式迁移。
全球看中国，灵初智能用10万小时人类数据写下具身智能的中国答案
2026年，“世界模型”成具身智能高频词。灵初智能联合创始人陈源培认为其非核心方向，而是数据迁移工具。灵初关注人类操作数据转化，在10万小时量级上可大幅替代真机数据，还介绍了系统模块、数据集及商业化阶段等情况。