跳到主要內容
maxstudioNews
Search the archive

Search

TryOpenAIGeminiClaudeNVIDIAAgent開源模型晶片機器人

「Lean」

6 results
  1. 001輝達 AI 助攻潔淨能源：五家公司引領綠色轉型NVIDIA Blog·
  2. 002AI 巨頭轉向醫療領域 盼改善公眾形象Axios·
  3. 003模型路由成企業AI部署新顯學：高昂成本與開源模型普及推動需求Latent Space·
  4. 004微軟 SymCrypt 結合 Rust、Lean 與 AI 代理，規模化驗證加密演算法Microsoft Research·
  5. 005川普政府介入 xAI 燃氣渦輪訴訟，稱其威脅國家安全與 AI 創新Ars Technica AI·
  6. 006免費清潔換數據：新創公司為機器人訓練收集居家影像Ars Technica AI·