AI項目和框架
BFS-Prover
BFS-Prover 是字節跳動豆包大模型團隊推出的基于大語言模型(LLM)的自動定理證明系統,通過改進傳統的廣度優先搜索(BFS)算法,結合專家迭代、直接偏好優化...
Claude 3.7 Sonnet
Claude 3.7 Sonnet 是 Anthropic 公司推出的全球首款混合推理模型,具備“標準模式”和“擴展思考模式”兩種運行方式。標準模式下,Claude 3.7 Sonnet能快速生成...
GRUtopia 2.0
GRUtopia 2.0(桃源2.0)是上海人工智能實驗室發布的通用具身智能仿真平臺。平臺在GRUtopia 1.0的基礎上進行了全面升級,具備三大核心創新:通用模塊化框架、...
BioMedGPT-R1
BioMedGPT-R1 是清華大學AI產業研究院(AIR)與北京水木分子生物科技有限公司聯合推出的升級版多模態生物醫藥開源大模型。BioMedGPT-R1基于 DeepSeek R1 技術...