近期一篇开发者深度体验复盘引发关注，作者在Cursor的Composer 2.5编码代理上投入超过100小时后发现，快速、低成本的AI编程代理虽然能加速代码生成，却可能带来沉重的审查负担。这些问题包括删除与任务无关的既有代...

微软 Clarity 团队近日公布了 clarity.js 前端分析脚本的压缩优化实践。团队构建了一套自动化 AI 实验循环，在超过 50 次自动变更、构建、测量和测试中，最终将 clarity.js 的 gzip 压缩体积减少 1,257 字节，约相当...

OpenAI 披露了一套自主安全研究管线，在 Linux 内核中复现了 1724 个安全漏洞，并针对其中 948 个不同的本地权限提升漏洞生成了利用程序和候选补丁，整个过程 API 成本约为 120 万美元。该管线中的智能体承担了漏洞...

谷歌DeepMind近日在GitHub公开了AlphaEvolve代码库，这是一个由Gemini模型驱动的编码智能体，专注于设计并优化高级算法。其核心机制是将Gemini的创造性问题求解能力与自动化评估器相结合：智能体提出候选算法，评估...

Cartesia推出的H-Nets展示了一种直接从原始字节进行学习的神经网络方法。与传统模型依赖分词、归一化或手工特征提取不同，H-Nets将原始字节流作为直接输入，省去了繁琐的预处理链路。这种设计不仅简化了数据管道，还...

腾讯正式发布其最新一代大语言模型 Hy4，标志着该模型在性能与能力上进入全球领先的开源 AI 模型行列。Hy4 不仅具备语言理解和生成能力，还集成了视觉理解能力，可处理细粒度图像分析、复杂图表解析以及数学视觉推理...

Cognition 发布了全新编程模型 SWE-2 Flash，官方强调其为一款完全在美国本土研发和部署的编码模型。与常规流程不同，SWE-2 Flash 在进入强化学习之前引入了新的中期训练阶段。这一阶段通常位于大规模预训练与面向任...

近日，Axiom 宣布已完成对整个 Stacks Project 的 Lean 形式化。Stacks Project 是现代代数几何领域的重要开源参考文献，系统整理了概形、层、上同调等核心理论，是当代数学研究的基础性资源。此次发布将这一长期积...