「世界仿真器」共找到 936 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
和快手聊了之后才知道，传统搜索早变天了
文章从工程师视角剖析现代搜索，指出传统搜索难适应多模态内容世界。快手推出 UniDex 和 UniSearch，前者变革搜索倒排，后者为统一生成式搜索架构，二者成快手新一代工业搜索‘双引擎’，有广阔应用前景。
真机RL！最强VLA模型π*0.6来了，机器人在办公室开起咖啡厅
美国具身智能创业公司PI发布最新机器人基础模型π*0.6，新方法大幅提升具身智能成功率与处理效率。其开发的Recap方法从经验数据获训练信号，使模型能执行多项真实世界应用。
“技术迭代速度是唯一护城河！”李彦宏把百度 AI 秀了个遍，还称芯片拿大部分钱的 AI 生态不健康
李彦宏在百度世界大会指出，AI产业结构正从‘正金字塔’向‘倒金字塔’转变，健康生态中应用应创造最大价值。百度展示多项成果，如数字人、AI搜索等，还发布文心大模型5.0和百度伐谋。
DeepAgent：能够自主找工具的深度思考智能体，工具&任务随心配
现有智能体框架自主性差、工具使用受限。中国人民大学等机构研究者提出DeepAgent，能自主思考、发现工具并执行动作。它在多基准测试中表现出色，为构建更强真实世界智能体迈进重要一步。
UC伯克利大牛预警：留给人类能干的活，只剩5年了！
UC伯克利教授Sergey Levine预言，2030年前机器人将进入真实世界，接手厨房、客厅等场景，甚至工厂、仓储和数据中心建设。其基于Robot Foundation Models等进展，认为‘自我进化飞轮’启动后不会停下，还会带来经济冲击。
南大周志华团队最新力作：一个算法通吃所有，在线学习迎来新范式？
世界是动态变化的，AI 模型需具备在线学习能力，领域提出适应性遗憾值指标。现有算法通用性不足，南京大学周志华团队研究具有双重自适应性的通用算法，提出元 - 专家框架等，还研究了在线复合优化问题。
九天大模型大变身：性能狂飙35%！还能一键P大象
7月26日，中国移动在2025世界人工智能大会发布「九天」基础大模型3.0，端到端技术全面升级，复杂推理能力提升35%，智能体调用效率提升21%，还推出代码、数学等专项大模型，多模态能力也焕新。
哥大学生全员AI作弊？小哥「创业逆袭」：不用AI等于输在起跑线！
哥伦比亚大学被爆学生用AI作弊，Cluely创始人Roy Lee称哥大学生几乎都用AI作弊。他拿到1500万美元投资，其创业口号“万事皆可作弊”引争议。Cluely是集成化桌面AI助手，目标是打造乌托邦世界。
一场实战派圆桌实录：解码严谨行业智能体落地的硬核突围｜甲子光年
2025年7月28日，在世界人工智能大会相关论坛的圆桌对话里，来自不同行业的实战派探讨企业级AI智能体落地。他们分享落地踩坑经验、应对数据等问题的办法，还预测了未来智能体大规模应用的行业。