AI工具
BFS-Prover – 字節豆包推出的自動定理證明系統
BFS-Prover是什麼 BFS-Prover 是字節跳動豆包大模型團隊推出的基於大語言模型（LLM）的自動定理證明系統，通過改進傳統的廣度優先搜索（BFS）算法，結合專家...
Reweb – AI前端開發工具，支持導入 Figma 設計文件轉換爲代碼
Reweb是什麼 Reweb 是爲開發者設計的 AI 可視化構建工具，主要用於快速生成和定製基於 Next.js 和 Tailwind CSS 的用戶界面。Reweb 結合 AI 生成 UI 的高效性...
匡優Excel – 智能 Excel 分析工具，自然語言對話完成數據處理和分析
匡優Excel是什麼 匡優Excel是智能 Excel 分析工具。通過自然語言交互的方式，幫助用戶快速完成Excel數據的處理和分析。用戶只需用簡單的中文提問或下達指令，...
交小智 – AI智能體平台，上線西安交大滿血版DeepSeek
交小智是什麼 交小智是西安交通大學推出的基於大語言模型技術的AI應用創建平台，爲全校師生提供低代碼、低門檻的智能體（Agent）創建與管理服務。通過平台，...
unsloth – 開源的大語言模型微調工具
unsloth是什麼 unsloth 是開源的大語言模型（LLM）微調工具，基於優化計算步驟和 GPU 內核，顯著提升模型訓練速度減少內存使用。Unsloth支持多種主流 LLM，如...
湧墨 – AI文檔編寫平台，智能解析關鍵信息生成文檔內容
湧墨是什麼 湧墨是智能文檔編寫平台，爲用戶提供全流程、智能化、高質量的文檔生成解決方案。通過一站式文檔工作流，以項目爲單位管理文檔，覆蓋全業務流程，...
LLMDet – 阿里通義聯合中山大學等機構推出的開放詞彙目標檢測模型
LLMDet是什麼 LLMDet是阿里巴巴集團通義實驗室、中山大學計算機科學與工程學院、鵬城實驗室等機構推出的開放詞彙目標檢測器，基於與大型語言模型（LLM）協同...
Basedash – AI數據庫管理工具，零代碼編寫自動完成數據查看、編輯、分析
Basedash是什麼 Basedash 是無代碼數據庫管理工具，通過 AI 技術自動生成數據管理界面，無需編寫代碼可完成數據的查看、編輯和分析。支持多種數據庫（如 Post...
Airweave – 將任何應用程序轉爲 Agent 知識庫的開源工具
Airweave是什麼 Airweave 是開源工具，能將任何應用程序的數據（包括API、數據庫、網站等）同步到圖數據庫和向量數據庫中，讓數據能基於智能代理或搜索機制進...
MatAnyone – 南洋理工和商湯科技推出的人像視頻摳圖框架
MatAnyone是什麼 MatAnyone是南洋理工大學S-Lab實驗室和商湯科技推出的，針對複雜背景人像視頻摳圖的先進框架，專注於目標指定的視頻摳圖任務。MatAnyone基於...
