A new programming language developed by Victor Taelin prevents artificial intelligence from making coding errors by using a proof checking system. The software compiles features such as lambdas and unrestricted recursion to the HVM2 runtime, which allows a workload to spread across 1,000s of cores in a thread-safe, low overhead fashion.

The project follows nearly 10 years of research to enable a high level language to run natively on GPUs. Bend 2 employs the same proof checking methods that big AI labs utilized to solve open math problems like Navier-Stokes and is designed for high speed execution on GPU hardware.