小米近日在GitHub上开源了MiMo推理模型项目，该项目旨在解锁语言模型的推理潜力，涵盖从预训练到后训练的全过程。MiMo模型通过优化训练流程和引入新的推理机制，显著提升了语言模型在复杂任务中的表现。这一开源项目...

谷歌实验室最新宣布，其AI笔记工具NotebookLM的音频概述功能已扩展至50多种语言，标志着该技术在多语言支持方面取得重大突破。这一更新使得全球更多用户能够通过语音交互快速获取文档摘要，显著提升了知识管理效率。...

约300名DeepMind伦敦员工正推动成立工会组织，主要动因是对公司军事合作项目及伦理承诺的担忧。作为Alphabet旗下最具影响力的人工智能实验室，DeepMind长期参与国防相关AI技术研发，包括与以色列政府的合作项目。此...

GNU编译器集合（GCC）15.1版本已正式发布，标志着这一开源编译器工具链的重要里程碑。作为Linux生态系统的基础组件，GCC的更新将直接影响全球数百万开发者的工作流程。本次更新包含了对C++23标准的全面支持、Rust语...

Curry是一种创新的函数式逻辑编程语言，它真正实现了函数式编程和逻辑编程的无缝集成。这种语言的设计目标是结合函数式编程的表达能力和逻辑编程的灵活性，为开发者提供更强大的工具来解决复杂问题。Curry的独特之处...

Physical Intelligence团队近期对其研发的家用清洁机器人Pi-0.5进行了测试，结果显示该机器人在全新的、未见过的环境中表现卓越。这一成果得益于团队采用的视觉语言模型（VLM）训练与动作标记化（action tokenizatio...

Vi和Vim作为文本编辑器领域的标志性工具，其发展历程见证了计算机技术的演进。Vi由Bill Joy于1976年开发，最初作为BSD Unix的一部分发布，以其高效的模态编辑和轻量级特性迅速成为开发者的首选。1988年，Bram Moolen...

本文梳理了2024年以来最具影响力的AI模型，深入解析其技术特性与应用场景。OpenAI推出的GPT-4.5 Orion凭借其强大的世界知识建模能力成为通用AI领域的标杆；Google的Gemini 2.5 Pro则专注于代码生成与理解，为开发者...