「AI搜索时代」共找到 10234 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
I/O大会开完，谷歌连搜索框都变智能体了
当地时间周二谷歌I/O大会举行，转型智能体时代。谷歌推出Gemini 3.5系列模型，轻量级3.5 Flash已开放，重量级3.5 Pro仍在开发。还发布全新AI智能体Spark，改造谷歌搜索，推出多模态模型Gemini Omni。
北京艺术与科技周｜三联人文城市跨界沙龙：当AI开始写诗、作曲，我们会如何改变？
在算法推荐和AI生成内容充斥的当下，美学标准和感知方式被颠覆重塑。北京艺术与科技周的三联人文城市跨界沙龙，邀胡德夫、叶蓓等嘉宾以诗为起点深度对谈，探讨AI时代美学与人文生活新可能。
百度秒哒负责人朱广翔：AI开发革命的终局，是让创意本身成为唯一的“代码”
百度秒哒负责人朱广翔指出，传统应用开发模式受“不可能三角”所困，而秒哒旨在破局。他还分享了AI时代生产力公式，强调多智能体协作关键，认为AI开发终极目标是让人聚焦创意，且不会取代产品经理和程序员。
红杉AI峰会闭门6小时，150位创始人共识浮现：AI不再卖工具，而是卖收益
第三届红杉资本AI峰会落幕，150位全球顶尖AI创始人齐聚。会议指出AI正从卖工具转向卖收益，还探讨了操作系统之战、智能体经济等话题，给出面向未来三年的定位图等，提醒从业者转变观念。
1万块GPU砸向欧洲！老黄怒怼AI末日论：全球首个工业AI云来了
巴黎GTC大会上，黄仁勋表示AI是伟大平等工具，驳斥AI致大裁员预测。英伟达卖1万块GPU建工业AI云，还宣布DGX Lepton项目。此外回顾AI发展，从感知到具身智能，介绍其应用及加速计算等成果。
AI制造AI、仓库级Coding到Agent底座：2026奇点智能技术大会首批议题公布
2026 奇点智能技术大会将于 11 月 20 - 21 日在北京举行，同期还有 C++ 及系统软件技术大会。大会公布首批核心议题，涵盖 AI 制造 AI、AI Coding、Agent 基础设施、世界模型、具身智能等前沿技术，多位专家将分享实践经验。
盘点丨百度那些悄咪咪下线的 AI 产品
AI时代个人创新创业相对简单，AI产品更新迭代快。作者盘点百度下线AI产品，如心响、梯子AI等，分析下线原因，指出大厂做C端AI创新面临结构性矛盾，还提到成功转型的百度文库。
《中国Data&AI数据基础设施白皮书》——AI创生核心生产力，开启万亿新基建之路 | 甲子光年智库
全球正处地缘政治与AI技术变革中，AI跃升为核心生产力。中国企业面临‘挤压式转型’，传统数据系统难满足需求。数据厂商需构建新一代数据基础设施，技术上‘湖仓一体’与‘AI原生’融合，推动Data&AI一体化。
吴恩达来信：AI工程技能图谱详解——构建和部署AI应用
吴恩达在信中详细展开AI工程技能图谱中构建和部署AI应用这一项，介绍需了解的技能，如LLM基础、用数据为模型提供依据等，并阐述各技能要点，还提及构建AI系统与传统软件的区别。