Bend 2 — a language that proof-checks AI code

About

Bend 2 is a programming language that blocks AI mistakes with proof checking, the same technique used on open math problems. It is fast and runs on GPUs.

Product

Bend 2

Company

Bend

Category

Developer tools

Posted

Sep 17, 2026

Duration

4:20

Views on X

2,075,294snapshot Sep 30, 2026

Author

@VictorTaelin

Original

View on X

Tags

bend · proof · gpu