每天听简报，了解最新科技、AI、软件资讯
一门叫Bend的新语言，想用数学证明堵住AI写代码时的错误。开发者说，把不能违反的规则写进一份叫LAWS的文件，AI改代码前必须先证明没有破坏它们，证不出来就提交不了。它编译飞快，单核速度接近C语言，分给GPU还能快上百倍。评论区最尖锐的一句戳中要害，写规则这件事本身还得靠AI来完成，规则要是写错了，证明再漂亮也没用。发布前项目组还把代码库历史压缩成了一次提交，有人质疑，这在人人担心AI造假的年代不是长脸的做法。
进度保存在本设备 · 登录同步