Bend: język programowania zabezpieczający przed błędami AI poprzez formalne dowody

Bend to nowy język programowania łączący statyczną weryfikację z możliwością uruchamiania na CPU i GPU. Wykorzystuje formalne dowody matematyczne do eliminacji całych klas błędów, szczególnie istotnych w systemach opartych na AI.