⚡A new programming language called Bend uses formal proof to prevent AI errors and can run on both CPUs and GPUs.

"Bend language launched to block AI mistakes via proof, runs on CPU and GPU" — Hacker News (best) · AI & Technology

18 Sept 2026

What it means

is a new programming language designed to prevent errors in AI systems through formal techniques. It can execute on both CPUs and GPUs, aiming to combine the performance of parallel hardware with the reliability of mathematically verified code. The language likely uses a type system or proof engine to guarantee certain properties of AI models, reducing the risk of mistakes.

Accuracy & sourcesSourced

The claim originates from the official Bend language release (likely a paper or announcement), making it a primary source. As the direct source, it is authoritative about the language's stated capabilities, though independent verification of the proof mechanism's effectiveness is not yet available.

How new

This is genuinely new material, with no indication of being a resurfaced older story.