「代码世界模型CWM」共找到 2532 篇相关文章
陶哲轩说：AI 辅助数学证明，已经成了日常操作
世界顶级数学家陶哲轩解决 Erdős 经典问题时，全流程用 AI 做助手，从证明草案到简化证明，再到形式化验证。整个流程为人类提出猜想、AI 暴力证明、人类简化优化、AI 辅助形式化验证。
通用的dLLM开发框架，让BERT掌握扩散式对话
扩散式语言模型（DLM）因缺乏易用框架和训练成本高受限。伯克利与UIUC团队基于dLLM框架，让BERT学会对话，证明‘离散扩散 + 轻量级指令微调’可赋予BERT强生成能力，还开源全流程代码。
和快手聊了之后才知道，传统搜索早变天了
文章从工程师视角剖析现代搜索，指出传统搜索难适应多模态内容世界。快手推出 UniDex 和 UniSearch，前者变革搜索倒排，后者为统一生成式搜索架构，二者成快手新一代工业搜索‘双引擎’，有广阔应用前景。
真机RL！最强VLA模型π*0.6来了，机器人在办公室开起咖啡厅
美国具身智能创业公司PI发布最新机器人基础模型π*0.6，新方法大幅提升具身智能成功率与处理效率。其开发的Recap方法从经验数据获训练信号，使模型能执行多项真实世界应用。
“技术迭代速度是唯一护城河！”李彦宏把百度 AI 秀了个遍，还称芯片拿大部分钱的 AI 生态不健康
李彦宏在百度世界大会指出，AI产业结构正从‘正金字塔’向‘倒金字塔’转变，健康生态中应用应创造最大价值。百度展示多项成果，如数字人、AI搜索等，还发布文心大模型5.0和百度伐谋。
Kimi K2 Thinking突袭！智能体&推理能力超GPT-5，网友：再次缩小开源闭源差距
Kimi K2 Thinking发布并开源，主打“模型即Agent”，能边思考边用工具，连续工具调用200 - 300次。在多评测基准超GPT - 5等闭源模型，代码权重遵循MIT协议，可在官网和应用实测。
DeepAgent：能够自主找工具的深度思考智能体，工具&任务随心配
现有智能体框架自主性差、工具使用受限。中国人民大学等机构研究者提出DeepAgent，能自主思考、发现工具并执行动作。它在多基准测试中表现出色，为构建更强真实世界智能体迈进重要一步。
AI Code：Cursor狂飙，Anthropic开战
生成式AI使软件开发成巨大市场，全球开发者带来每年3万亿美元经济贡献。Cursor等初创公司崛起，介绍了AI编程工作流程、代码生成审查方式、质量保证等，还探讨了软件开发的变化及发展趋势。
UC伯克利大牛预警：留给人类能干的活，只剩5年了！
UC伯克利教授Sergey Levine预言，2030年前机器人将进入真实世界，接手厨房、客厅等场景，甚至工厂、仓储和数据中心建设。其基于Robot Foundation Models等进展，认为‘自我进化飞轮’启动后不会停下，还会带来经济冲击。
你敢信？GPT-5的电脑操作水平只比人类低2%了
Agent S3刷新了计算机使用智能体（CUA）在「OSWorld」基准测试的记录，性能达69.9%，接近人类水平。它引入bBoN实现并行扩展，还精简框架、引入原生代码智能体，已开源并发布论文。