返回编译器

编译器

英伟达
2026-07-23 16:56:56

Citrini:编码 AI 正削弱 CUDA 壁垒,偏多 AMD、看空英伟达

Citrini 分析师 Jukan援引 DeepSeek 创始人梁文锋的观点称,AI 驱动的代码生成和 TileLang 等高级编程语言正在降低 CUDA 生态门槛。DeepSeek 已通过自研编译器和 TileLang 减少对英伟达软件生态的依赖,并与华为推进适配。Jukan 据此认为,CUDA 的开发者护城河正在被侵蚀,这对英伟达构成压力,也可能推动 AMD 的 ROCm 生态缩小差距。

1160
Citrini:编码 AI 正削弱 CUDA 壁垒,偏多 AMD、看空英伟达
人工智能
2026-07-22 23:59:42

三大 AI 模型在 IMO 2026 测试中拿下满分

一项由前 Google 工程师 Deedy Das 发起的测试显示,Claude Fable 5、GPT-5.6 Sol xhigh 和 Kimi K3 在 IMO 2026 六道题的全自动解题中均获得 42 分满分,AxiomProver 也独立交出满分成绩。测试采用 Lean 4 形式化题面自动判分,结果与过去七年 IMO 人类满分比例形成鲜明对照,也让长链条逻辑推导能力再次成为焦点。

1120
三大 AI 模型在 IMO 2026 测试中拿下满分
智谱
2026-07-17 03:20:50

智谱完成对中科加禾收购,补强大模型算力与编译器能力

据“AI科技评论”报道,智谱已斥资数亿元人民币完成对 AI 异构算力软件基础设施公司中科加禾的收购。报道提到,这笔交易指向智谱在大模型底层工程与编译器能力上的补短板需求,以应对用户量增长带来的算力结构性紧缺和高并发推理压力。中科加禾核心技术来自中科院计算所编译实验室,旗下 SigInfer 推理引擎据官方宣称最高可将大模型推理时延降低 74 倍。

1110
智谱完成对中科加禾收购,补强大模型算力与编译器能力
Bun
2026-07-11 08:12:07

Bun 11 天用 Claude 重写百万行代码,Zig 创始人公开炮轰

Bun 创始人 Jarred Sumner 今年 5 月宣布,团队在 11 天内借助 Anthropic 未公开发布的 Claude Fable 5 与 Claude Code 动态工作流,将 Bun 的百万行代码从 Zig 重写为 Rust。Zig 创始人 Andrew Kelley 随后发文,将 Bun 早期稳定性问题归咎于工程习惯和管理方式,并质疑未经人工审查的 AI 生成 Rust 代码是否可靠。围绕 API 成本、开源文化与后续可维护性的争议,也随之扩大。

1100
Bun 11 天用 Claude 重写百万行代码,Zig 创始人公开炮轰