DeepSeek团队近日在GitHub开源了其第二代自动定理证明框架DeepSeek-Prover-V2，该项目迅速获得326个Hacker News点赞和63条技术讨论，显示出学术界和工业界对AI形式化验证工具的高度关注。作为当前最前沿的AI推理系统...

近期GitHub上出现了一个名为AI Hedge Fund的开源项目，该项目通过现代推理模型探索自动化交易的新路径。与同类尝试相比，其创新性在于采用了基于角色提示(persona based prompting)的技术框架，能够聚合对各类基础资...

GitHub项目Chain-of-Recursive-Thoughts提出了一种创新方法，通过让AI模型反复自我辩论来提升其思考深度。开发者PhialsBasement发现，这种方法虽然看似简单，但效果却出奇地好。该项目在Hacker News上引发了广泛讨论...

IBM研究院近日推出开源大语言模型Bamba，该模型创新性地结合了Transformer架构的序列建模能力和状态空间模型（SSM）的推理速度优势。作为IBM Granite系列模型的技术前导，Bamba通过注意力机制与状态空间方程的混合设...

Meta研究院推出的Pippo项目突破传统三维重建技术限制，开发了一套无需预训练模型的虚拟人体生成系统。该系统仅需输入单张二维人像，即可输出具有高保真细节的多视角3D人体表征，其核心技术可能涉及神经辐射场（NeRF...

DeepSeek公司近日宣布将于2025年正式推出新一代人工智能模型DeepSeek-R2，这一重大进展标志着大语言模型技术进入全新发展阶段。根据官方技术博客透露，R2模型将采用创新的混合架构设计，整合了稀疏专家模型(MoE)与密...

来自arXiv的最新研究论文提出了一种名为DFloat11的动态长度浮点无损压缩框架，通过创新性地利用LLM权重中BFloat16格式的低熵特性，实现了30%的模型体积缩减，同时保持输出结果与原始模型的比特级一致性。该技术采用...

惠普AI Studio推出创新技术方案，通过模型蒸馏技术将前沿大语言模型DeepSeek-R1的推理能力压缩至可在本地设备运行的轻量级版本。该技术突破实现了大模型从云端到本地的迁移，用户可通过Ollama框架进行本地推理部署，...