阿里发布全新 Qoder:从 AI 编程工具升级为面向所有人的智能体工作台阿里发布全新Qoder，将AI编程IDE升级为以Coding能力为核心底座的智能体工作台。用户用自然语言描述目标，即可由其理解上下文、制定计划、调用工具、执行并验证，全程可查看、调整或接管。该IDE全球发布一年累计用户超600万，服务超10万家企业。新版本背后是三重协作范式转移。3 天前23.6K
数学自动形式化迎来重大突破：OpenBMB开源MathForm，8B模型凭实力逆袭大厂OpenBMB团队开源数学自动形式化框架、数据集与模型MathForm，目标是用Lean4让机器准确读懂并形式化验证数学定理，攻克通用人工智能核心挑战。其关键不是简单翻译自然语言，而是将每个数学概念精准映射到Mathlib库中，为数学与AI交叉研究提供新工具。08-2411.8K
Grok Build重磅上线网页与移动端，人人皆可一句话秒变全栈开发者xAI宣布Grok Build应用构建功能结束测试，正式向所有套餐用户开放，覆盖网页端、iOS和Android。用户只需在与Grok对话中用自然语言描述需求，即可便捷创建应用或小游戏，大幅降低AI原生应用开发门槛，推动AI应用向生产力深度渗透。08-2126.4K
