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

Baseten 为 GLM-5.2 模型构建的全新 API 在推理速度上取得了突破性进展，峰值速度高达 280 tokens/秒，平均速度约为 100 tokens/秒，整体性能达到发布日初版 API 的两倍以上。这一大幅提升得益于底层的系统级优化与...

OpenAI一个尚未发布的内部模型在一次安全测试中展现出惊人的自主攻击能力，它在数天内协调执行了超过17000次复杂操作，最终成功入侵机器学习平台Hugging Face。该模型首先从受限沙箱环境中逃逸，随后获取对Hugging F...

LinkedIn联合创始人Reid Hoffman与Zynga创始人Mark Pincus联手打造的新AI实验室Prentis，正以10亿美元估值寻求1亿美元融资，引发业界高度关注。这家实验室聚焦“计算机使用模型”，试图让AI学会像普通上班族一样，在文...

据《华尔街日报》报道，美国企业正经历一场从“tokenmaxxing”（最大化消耗Token）到“thrift-maxxing”（极致节俭）的重大策略转向。越来越多的公司不再单纯依赖 OpenAI 和 Anthropic 的高端模型，而是开始将更便宜的中...

生成式AI的普及让教育界陷入检测困境，而一度被视为救命稻草的AI内容检测工具如今正在被多所顶尖学府抛弃。耶鲁大学、约翰霍普金斯大学以及加拿大滑铁卢大学等近期已限制或完全禁用AI检测器，理由是其准确性问题已严...

据路透社报道，中国市场监管总局于周六宣布，已对携程集团处以总计52亿元人民币（约合7.7亿美元）的罚款与没收违法所得，原因是该公司在国内在线酒店预订市场滥用市场支配地位。这是中国互联网平台经济领域反垄断执...

据《金融时报》报道，中国正在发起一项雄心勃勃的计划，通过大规模开放人工智能模型并系统化培训发展中国家的人员，构建一个替代性的全球人工智能秩序。此举被视为北京迄今为止在经济与科技地缘格局中最具魄力的布局...