發現高質量的人工智能工具
將全球領先的人工智能工具聚集在一起，以幫助提高工作效率
EdwardScott發表的文章
阿里巴巴旗下的阿馬普（Amap）宣布對其 ABot 具身系統進行全棧升級，並推出五款核心模型：ABot-N1、M0.5、ER、AgentOS 及 C0。此系統整合了感知、決策、執行與記憶功能，大幅提升機器人執行一般任務的自主能力。 作為全球首個全棧具身系統，該系統克服了能力碎片化的問題，增強了通用適應性與自我演化能力，可應用於各產業及服務領域的商業部署。
阿里巴巴旗下的阿馬普（Amap）宣布對其 ABot 具身系統進行全棧升級，並推出五款核心模型：ABot-N1、M0.5、ER、AgentOS 及 C0。此系統整合了感知、決策、執行與記憶功能，大幅提升機器人執行一般任務的自主能力。 作為全球首個全棧具身系統，該系統克服了能力碎片化的問題，增強了通用適應性與自我演化能力，可應用於各產業及服務領域的商業部署。
Netflix 已完成對人工智慧電影初創企業 InterPositive 的 5.87 億美元現金收購，這家公司由本·阿弗萊克共同創立，旨在利用人工智慧工具提升後期製作效率。阿弗萊克將擔任該公司的資深顧問。Netflix 表示，目前已有 300 部影片正在使用生成式人工智慧技術，這進一步推動了其以人工智慧為驅動的生產戰略。
Netflix 已完成對人工智慧電影初創企業 InterPositive 的 5.87 億美元現金收購，這家公司由本·阿弗萊克共同創立，旨在利用人工智慧工具提升後期製作效率。阿弗萊克將擔任該公司的資深顧問。Netflix 表示，目前已有 300 部影片正在使用生成式人工智慧技術，這進一步推動了其以人工智慧為驅動的生產戰略。
Mistral AI釋出了Leanstral 1.5版本，這是一款擁有1190億引數的正式數學證明模型，實際執行時僅消耗60億引數，且以Apache-2.0許可證開源。該模型在miniF2F測試中的準確率達到了100%，能夠解決672道PutnamBench題目中的587道，其每道題的定價為4美元，而同類產品的價格則在300美元以上。此外，它還在57個程式碼倉庫中發現了47處違規問題，其中包括5個未被報告的GitHub缺陷。
Mistral AI釋出了Leanstral 1.5版本，這是一款擁有1190億引數的正式數學證明模型，實際執行時僅消耗60億引數，且以Apache-2.0許可證開源。該模型在miniF2F測試中的準確率達到了100%，能夠解決672道PutnamBench題目中的587道，其每道題的定價為4美元，而同類產品的價格則在300美元以上。此外，它還在57個程式碼倉庫中發現了47處違規問題，其中包括5個未被報告的GitHub缺陷。
全球人工智慧監管正從自願性原則轉向由政府主導的強制性安全測試。美國與英國正針對 OpenAI 和 Google 等企業所開發的主要人工智慧模型，實施發布前的國家安全評估。諸如英國與澳洲簽署的協定等國際合作，旨在統一安全標準。合規性與經證實的安全性正成為關鍵的競爭優勢，推動人工智慧治理邁入以證據為基礎的實施階段。
全球人工智慧監管正從自願性原則轉向由政府主導的強制性安全測試。美國與英國正針對 OpenAI 和 Google 等企業所開發的主要人工智慧模型，實施發布前的國家安全評估。諸如英國與澳洲簽署的協定等國際合作，旨在統一安全標準。合規性與經證實的安全性正成為關鍵的競爭優勢，推動人工智慧治理邁入以證據為基礎的實施階段。
Cloudflare 將 Moonshot AI 的開源模型 Kimi K2.5 整合至其核心營運中，取代了在程式碼安全掃描等任務中原本使用的高成本閉源模型。此舉使推論成本降低 77%，每年節省數百萬美元，同時不影響效能——該模型每日處理數十億個字元，並能有效識別漏洞。執行長馬修·普林斯（Matthew Prince）指出，隨著由 AI 代理驅動的網路流量日益增長，此項戰略轉變旨在降低對閉源模型的依賴。
Cloudflare 將 Moonshot AI 的開源模型 Kimi K2.5 整合至其核心營運中，取代了在程式碼安全掃描等任務中原本使用的高成本閉源模型。此舉使推論成本降低 77%，每年節省數百萬美元，同時不影響效能——該模型每日處理數十億個字元，並能有效識別漏洞。執行長馬修·普林斯（Matthew Prince）指出，隨著由 AI 代理驅動的網路流量日益增長，此項戰略轉變旨在降低對閉源模型的依賴。
