谷歌母公司Alphabet旗下最核心的人工智能部门Google DeepMind发生剧烈人事震荡。联合创始人Demis Hassabis正式卸任日常管理职务，转任Google DeepMind主席及Alphabet首席科学家，这一角色转换意味着他将从强执行的科...

开源代码审查工具PR-AF在权威基准测试Code-Review-Bench的42款工具中冲至第2名，以显著优势领先成熟的商业方案，且单次审查成本仅为后者的十分之一。该工具的核心创新在于其“审查管线”架构：它会为每个Pull Request...

在人工智能编码工具日趋复杂化的浪潮中，一款名为 Pi 的工具却以极简设计逆势突围。Pi 仅向用户提供四种工具，且其系统提示词被严格压缩在 1000 个 token 以内。这一看似“缩水”的策略，在多项实际测试中展现出更优的...

OpenAI日前披露的未公开模型Astra一口气解决了数学界十个长期悬而未决的开放问题，再次刷新了人们对AI在高级推理领域潜力的认知。长期以来，数学一直是大型语言模型的软肋，人们习惯嘲笑AI连基础运算都频繁出错。然...

在大语言模型竞争日益激烈的当下，如何科学、标准化地衡量不同规模模型的能力上限正成为一个核心议题。Prime Radiant公司近日开源的smevals评估框架正是瞄准了这一痛点，它提供了一套轻量且专为小模型和大模型运行基...

经历了长达三年的募资寒冬，中国风险投资行业正迎来一个剧烈反转的筹资窗口期。据《金融时报》报道，大量中国VC机构目前正在密集发起新基金募集，其背景是全球投资人对中国科技、人工智能以及机器人领域的乐观情绪突...

据《华尔街日报》援引消息人士报道，OpenAI在营收增长和公司估值上正被竞争对手Anthropic逐渐甩开，原因在于其过度押注消费者聊天机器人和各类博眼球的副项目，而忽视了悄然爆发的AI编程工具机遇。知情人士透露，当O...

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