GPU

“后AGI经济”假设下，Bend结合C语言速度、CUDA并行能力和Lean式形式化证明，解决AI生成代码的信任危机。它强制AI生成的代码通过逻辑验证才能运行，将验证周期缩短至秒级，目前GitHub星标已达2.8万。

NVIDIA宣布CUDA Rust双轨方案，cuda-oxide与cutile-rs分别面向SIMT和Tile模型，以编译期内存安全为核心卖点，旨在降低内核开发门槛。