阿里發佈全新 Qoder:從 AI 編程工具升級爲面向所有人的智能體工作臺阿里發佈全新Qoder，將AI編程IDE升級爲以Coding能力爲核心底座的智能體工作臺。用戶用自然語言描述目標，即可由其理解上下文、制定計劃、調用工具、執行並驗證，全程可查看、調整或接管。該IDE全球發佈一年累計用戶超600萬，服務超10萬家企業。新版本背後是三重協作範式轉移。3 天前23.7K
數學自動形式化迎來重大突破：OpenBMB開源MathForm，8B模型憑實力逆襲大廠OpenBMB團隊開源數學自動形式化框架、數據集與模型MathForm，目標是用Lean4讓機器準確讀懂並形式化驗證數學定理，攻克通用人工智能核心挑戰。其關鍵不是簡單翻譯自然語言，而是將每個數學概念精準映射到Mathlib庫中，爲數學與AI交叉研究提供新工具。08-2411.8K
Grok Build重磅上線網頁與移動端，人人皆可一句話秒變全棧開發者xAI宣佈Grok Build應用構建功能結束測試，正式向所有套餐用戶開放，覆蓋網頁端、iOS和Android。用戶只需在與Grok對話中用自然語言描述需求，即可便捷創建應用或小遊戲，大幅降低AI原生應用開發門檻，推動AI應用向生產力深度滲透。08-2126.4K
