一项针对生命科学临床与监管场景的基准测试ClinReg显示，开源权重大语言模型在准确率上已追平顶尖闭源模型。测试中，GLM 5.2、Kimi K3等开源模型在监管和临床任务上的表现与GPT 5.6 Sol等商业模型的差异落在一个标准...

谷歌DeepMind正式发布了新一代机器人AI系统Gemini Robotics ER 2，该系统在视频理解、工具编排和多机器人协作方面实现了阶跃式突破。ER 2将先进的Gemini大语言模型与机器人深层控制相结合，使机器人不仅能够更精准地...

英伟达NeMo团队近日在GitHub上开源了一个名为Molt的智能体强化学习框架。该框架采用PyTorch原生设计，核心理念是将智能体本身视为可执行的程序，而非传统强化学习中固定的策略网络。Molt支持高度灵活的自定义Python...

在依赖类型语言的世界里，强大的类型系统往往意味着沉重的证明负担——开发者可能需要花费数小时才能发现要证明的命题根本就是错误的。这种高昂的认知开销使依赖类型编程长期停留在小众领域。如今，这一局面正在被打破...

近日，开发者服务公司 Evil Martians 在其团队博客公布了为期两个月的服务器端追踪数据，对 web 流量中人类访客与 AI 爬虫的行为差异进行了量化分析。数据显示，AI 代理请求量达到 26.8 万次，远超同期 10.7 万次的...

该观点将当前的大语言模型竞争与上世纪90年代的数据库之争进行了历史性类比，揭示了技术基础设施演进的一种深层规律。作者认为，大语言模型正沿着数据库的发展轨迹前进：从最初作为引发行业狂热的前沿技术，逐步演化...

随着大语言模型（LLM）在编程领域的广泛应用，一种被称为“人在回路疲劳”的现象开始在开发者群体中蔓延。越来越多的工程师发现，虽然LLM大幅提升了代码生成效率，但也带来了持续性的认知负担。开发者不再仅仅专注于创...

Netflix 近期公开了其内部自研的大语言模型（LLM）推理服务平台的设计与实践。与依赖外部托管 API 不同，该平台将模型部署和推理完全集成到 Netflix 现有的生产环境中，既保障了数据安全与低延迟，又实现了对模型的...