GPU 上运行的高级语言 Bend 2 发布,用数学证明校验 AI 生成的代码
开发者 Victor Taelin 于 9 月 17 日发布可在 CPU、GPU 上并行执行的高级语言 Bend 2,它用类似 Python 的语法,让开发者把程序需满足的条件写成 law,再通过证明检查验证 AI 生成的代码是否满足这些条件。Bend 2 改变了初代的执行方式,不再使用 HVM2 的相互作用网络,初代程序无法直接迁移;Taelin 称执行速度最高提升 100 倍,运行时内存上限从 2GB 扩大到 8TB。源码以 Apache License 2.0 在 GitHub 公开,支持 Linux 和 macOS,GPU 执行分别使用 CUDA 12 和 Metal,Windows 需通过 WSL 使用;当前数值类型仅限 Nat、U32、F32,F32 浮点运算无法用证明功能校验,编译器中也残留大量未经审计的 AI 生成代码。
匹配字段摘要、正文





