Bend – a language that blocks AI mistakes via proof and runs on GPUs