微软近日发布了Phi-4-reasoning系列变体，这一创新标志着小型语言模型（SLMs）在效率与复杂推理能力上的重大进展。Phi-4-reasoning通过算法优化和架构改进，在保持参数规模精简的同时，实现了接近大型语言模型（LLMs...

开源项目Linkwarden近日引发技术社区关注，作为一款自托管书签管理工具，其创新性整合了AI自动标签生成和网页存档两大核心功能。该项目采用FOSS（自由开源软件）模式，允许用户完全掌控数据隐私，通过本地化部署规避...

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

作为中国自主x86处理器设计商，兆芯最新发布的KX-7000系列处理器引发行业广泛关注。该处理器采用全新微架构设计，在芯片性能、能效比及指令集兼容性方面实现显著提升，标志着国产CPU在核心技术领域的又一重要突破。...

清华大学知识工程组（KEG）与智谱AI联合推出的CogView 4最新一代生成式图像模型近日在Hugging Face平台正式发布。作为采用宽松许可协议的开源项目，该模型在图像质量、生成效率和多模态理解等核心指标上显著超越当前...

人工智能伴侣技术正在突破传统聊天机器人的局限，向具备真实个性化和情感交互的智能界面演进。当前通用型AI交互模式难以建立深度情感连接，而下一代产品的核心竞争力将取决于能否通过直觉式设计，使AI系统真正具备'...

关系图Transformer（Relational Graph Transformers）作为一种前沿的人工智能技术，正在企业数据处理领域引发革命性变革。该技术通过图神经网络与Transformer架构的创新融合，能够有效解决企业级数据中的复杂关系建...

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