News - Cocoloop
首頁ClaudeOpenAIGeminiDeepSeek開源全部標籤歸檔
文/A 繁中 ▾
简体中文 Simplified Chinese English English 日本語 Japanese 한국어 Korean 繁體中文 Traditional Chinese Bahasa Indonesia Indonesian Tiếng Việt Vietnamese Deutsch German Português Portuguese Español Spanish Français French

柏克萊 資訊與深度分析

收錄 柏克萊 相關產品動態與產業觀察,共 2 篇文章。

形式化驗證 2026-09-02

柏克萊Vero基準:43個專案僅27個全解

柏克萊RDI實驗室推出Vero基準,要求AI代理人在整個Lean 4儲存庫規模上同時寫實作、寫證明。就算是表現最好的模型,43個專案裡也只有27個被完整解出。

#大模型評測#AI 編程#柏克萊
具身智慧 2026-07-06

柏克萊讓機器人靠網路影片學靈巧操作

柏克萊讓機器人靠網路影片學靈巧操作以繁體中文整理原文重點,保留關鍵數字、產品主張與後續驗證問題。

#機器人#柏克萊#靈巧手

News · Cocoloop

AI 前沿資訊與深度分析,涵蓋大模型、開源社群與產業動態。文章由 Cocoloop 編輯部基於公開來源核驗整理。

模型資訊

  • Claude
  • OpenAI
  • Gemini
  • DeepSeek
  • Qwen

主題

  • 開源
  • AI 編程
  • Agent
  • 全部標籤

站點

  • 首頁
  • 文章歸檔
  • RSS 訂閱
  • robots.txt
  • 編輯標準

友情連結

  • Cocoloop 主站
  • 問答站
  • Hermes 指南
  • PixPix AI 生圖
  • AI 圖片社群
文/A 繁中 ▾
简体中文 Simplified Chinese English English 日本語 Japanese 한국어 Korean 繁體中文 Traditional Chinese Bahasa Indonesia Indonesian Tiếng Việt Vietnamese Deutsch German Português Portuguese Español Spanish Français French

© 2026 News · Cocoloop — AI 前沿資訊

Sitemap