微软正式发布 MAI-Thinking-1，这是一款面向企业工作负载的中等规模推理模型，重点提升编码、数学和知识类任务中的成本效率。该模型强调在推理能力与部署成本之间取得平衡，适合需要大规模调用又对响应速度和预算敏...

Prime Agent是Prime Intellect发布的一款开源自我改进编码工具，其核心架构围绕递归语言模型（RLM）和持续训练框架（Continual Harness）两大抽象展开。该框架通过更优的上下文管理、多智能体协同与长期评估机制，赋...

在人工智能深度介入前沿科学研究的浪潮中，一场关于优先权的微妙竞赛悄然上演。据《科学美国人》报道，来自麻省理工学院的一名博士生与加州大学系统的两位密码学家，几乎在同一时间将顶级大模型GPT-5.6 Sol Ultra应...

人工智能公司Thinking Machines正式推出开源权重模型Inkling-Small，以更小的体量实现了与Inkling相当的性能。该模型采用混合专家架构，总参数量达276B，但每次推理仅激活12B参数，大幅降低算力需求。Inkling-Small...

谷歌云在Gemini企业智能体平台上正式推出Gemini蒸馏服务（Gemini Distillation Service），旨在通过大型“教师”模型的输出和推理路径，训练出更小、更高效的“学生”模型。该服务专门针对高吞吐量、低延迟严苛要求的应...

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

Moonshot AI 最新开源权重模型 Kimi K3 在单次前端竞技场（Frontend Arena）中以 1392 的 Elo 分夺得第一，排名较 Kimi K2.6 上升了 10 位，较 Kimi K2.7 Code 上升了 16 位，创下 Moonshot 模型史上最大跃升记录。...

专攻 AI 编码的初创公司 Poolside 在 Hugging Face 上正式发布了其最新大型语言模型 Laguna S 2.1。该模型采用混合专家架构，总参数量高达 1180 亿，但每个 token 仅激活其中 80 亿个参数，在保持强大能力的同时实现...