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

近日，AWS AI Labs 推出了 SWE-PolyBench，這是一個多語言的開源基準，旨在爲 AI 編程助手的評估提供一個更全面的框架。隨着大規模語言模型（LLM）的進步，AI 編程助手的開

近日，AWS AI Labs 推出了 SWE-PolyBench，这是一个多语言的开源基准，旨在为 AI 编程助手的评估提供一个更全面的框架。随着大规模语言模型（LLM）的进步，AI 编程助手的开

Devin AI 近期推出了 DeepWiki，這是一款免費的工具，能夠自動生成任何 GitHub 代碼庫的結構化維基風格文檔。DeepWiki 採用了該公司自研的 DeepResearch 智能