BlenderMCP
BlenderMCP是將Blender與Claude AI基于模型上下文協議(MCP)集成的工具。BlenderMCP用socket服務器實現Blender與AI的雙向通信,支持創建、修改和刪除3D對象...
OpenAI o4-mini
OpenAI o4-mini 是OpenAI推出的小型推理模型,專為快速、經濟高效的推理而優化。OpenAI o4-mini 在數學、編程和視覺任務方面表現出色,是 AIME 2024 和 2025 ...
Kimina-Prover
Kimina-Prover是月之暗面與Numina團隊合作推出的大型數學定理證明模型,模型采用大規模強化學習訓練,能以類似人類的方式進行推理,在Lean 4語言中嚴謹地證明...
WaveSpeedAI
WaveSpeedAI 是 AI 圖像和視頻生成平臺,提供多種高性能的 AI 模型,核心模型包括 HiDream-I1(170 億參數的開源圖像生成模型)、Flux-dev(120 億參數的快速...
Grok Studio
Grok Studio 是馬斯克旗下AI智能助手Grok推出的 AI 協作功能,幫助用戶提升內容創作與開發效率。Grok Studio支持代碼生成與實時運行(涵蓋 Python、C++、Java...
GLM-Z1-32B
GLM-Z1-32B是智譜公司開源的新一代推理模型,具體參數版本為GLM-Z1-32B-0414 。GLM-Z1-32B基于 GLM-4-32B-0414 基座模型開發,基于深度優化訓練,在數學、代...