Qwen2.5-72B

• AI资讯

  月之暗面Kimi开源数学定理证明模型Kimina-Prover

   Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoform…

  aiuc

  2025年4月17日

  0090
• AI资讯

  斯坦福权威报告盖章！阿里通义千问贡献排名全球第三！用算力优势重塑全球竞争格局！

  [db:摘要]

  aiuc

  2025年4月12日

  00110