#proof verification

2 stories

#startups #technology #advisory group on mathematics and artifi #ai safety #artificial intelligence #bend #bug prevention #cuda #gpu acceleration #lean programming language #lean proofs #mathematics

OpenAI's math proofs fall short of expert standards
OpenAI released hundreds of solutions to hard math problems, but mathematicians say the lab ignored key guidelines on human understanding and formal verification.
TechCrunch · 2m
Bend: a language that stops AI from breaking your code
A new programming language uses mathematical proofs to prevent AI from shipping bugs, while running as fast as C on any number of cores.
Bend Lang · 1m · 6 views