相關推薦
砸下 190 億美金!AI巨頭 Anthropic 豪租數據中心 20 年
人工智能新星Anthropic宣佈在肯塔基州霍斯維爾建大型數據中心,與TeraWulf簽約20年租約,該地距路易斯維爾約一小時車程。此舉標誌這家憑藉Claude引擎聞名的科技獨角獸正加速底層算力佈局,打造空前規模的超級算力中心。
Jul 7, 2026
102.0k
降低數學科研門檻:Mistral AI 發佈開源模型 Leanstral 1.5
Mistral AI發佈專爲Lean4設計的開源模型Leanstral1.5,採用Apache-2.0許可。該模型總參數119B,僅6B激活參數,兼顧高性能與低成本。在miniF2F形式數學基準中,驗證集和測試集均達100%完成率,並已挑戰Putnam等高難度推理任務。
Jul 6, 2026
177.0k
Mistral AI開源數學證明利器:119B參數只激活6B,解題成本僅爲競品百分之一
歐洲Mistral AI推出數學形式化證明模型Leanstral 1.5,專爲Lean4語言,總參數119B但推理僅激活6B,以極低開銷和Apache-2.0許可完全開源。在miniF2F基準上驗證集和測試集均達100%完成率,PutnamBench同樣表現驚人。
Jul 6, 2026
180.8k
AI機器人來襲!日本計劃部署千萬臺應對勞動力危機
日本公佈《人工智能機器人戰略》新方針,計劃到 2040 年在製造業、醫療、農業等 18 個行業部署 1000 萬臺 AI 機器人,以系統性應對少子老齡化引發的勞動力危機。
Jul 6, 2026
179.8k
阿里巴巴內部“反向禁用”:全面下架 Claude 系列 AI 工具
阿里巴巴內部發文,要求員工停止使用 Anthropic Claude 全系產品,包括 Sonnet、Opus、Fable 等模型及 Claude Code 等智能體工具,最後期限爲 7 月 10 日。此舉與公司年初開放 AI 使用、提供內部模型免費額度並報銷外部模型的政策形成對比,預示着其在 AI 工具策略上的收緊和向自研體系的迴歸。
Jul 3, 2026
381.3k
