AI項目和框架
Qwen3-Coder
Qwen3-Coder 是阿里通義千問團隊推出的強大代碼生成模型,擁有 480B 參數和 35B 激活參數,支持原生 256K token 上下文,支持擴展達到 1M token。模型在 Agen...
OpenReasoning-Nemotron
OpenReasoning-Nemotron是英偉達開源的一系列推理能力強大的大型語言模型(LLM),基于DeepSeek R1 0528 模型蒸餾而成,參數規模涵蓋1.5B、7B、14B和32B。
Goedel-Prover-V2
Goedel-Prover-V2 是普林斯頓大學、清華大學、英偉達等頂尖機構聯合推出的開源定理證明器。Goedel-Prover-V2通過分層式數據合成、驗證器引導的自我修正和模型...
EXAONE 4.0
EXAONE 4.0是韓國LG AI Research推出的自研混合推理大模型。模型融合通用自然語言處理和高級推理能力,支持韓語、英語和西班牙語。模型分為32B的專業版和1.2B...
RoboBrain 2.0
RoboBrain 2.0 是強大的開源具身大腦模型,能統一感知、推理和規劃,支持復雜任務的執行。RoboBrain 2.0 包含 7B(輕量級)和 32B(全規模)兩個版本,基于異...
PromptForge
PromptForge 是 AI 提示工程工作臺,支持幫助用戶高效地創建、測試和優化 AI 提示。平臺基于智能生成功能提供 AI 輔助的提示構建和優化建議,具備高級分析工...