Devin王炸更新，GitHub项目一夜全透明，开发者必备神器！
DeepWiki 是一个基于AI的知识平台，能透明展示GitHub上的开源项目。用户只需将github.com替换为deepwiki.com即可直接查看项目的文档、代码和结构信息。
DeepSeek-Prover-V2-671B
DeepSeek Prover-V2，这才是探索AGI 的正确姿势！
DeepSeek 推出新模型 DeepSeek-Prover-V2-671B，专为数学定理证明打造。该模型参数量大（671亿），架构使用MoE技术，隐藏维度高达7168，支持超长上下文窗口（约80万汉字）。通过Lean 4生态训练，并结合生成自然语言讲解与强化学习提升性能。