谷歌研究团队近日宣布其医疗对话AI系统AMIE（Articulate Medical Intelligence Explorer）取得重大升级，新增医学影像分析功能。这一突破性进展使AMIE在基于聊天的诊断过程中能够同步解读X光片、CT扫描等医学影像，...

以GitHub Copilot和Claude为代表的生成式AI技术正在重塑软件开发行业，其核心价值在于提升开发效率并自动化常规任务。尽管AI工具能显著优化工作流程，但人类开发者仍不可替代——他们承担着架构设计、质量把控和复杂需...

艾伦人工智能研究所（Allen Institute for AI）近日发布了OLMo-2-1B语言模型，这是一款参数规模为1B的小型开源模型。该项目的突破性意义在于其完全透明的训练范式：研究团队不仅公开了模型权重，还完整披露了训练数...

微软近日发布了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平台正式发布。作为采用宽松许可协议的开源项目，该模型在图像质量、生成效率和多模态理解等核心指标上显著超越当前...