Bend, AI의 실수를 수학적 증명으로 차단하는 언어

Bend는 C에 가까운 속도로 네이티브 컴파일되고, GPU에서 최대 124배 빠르게 실행되는 새로운 프로그래밍 언어다. Lean 스타일의 증명 검사기를 내장해 AI가 생성한 코드가 사용자가 정의한 법칙(LAWS.bend)을 위반하지 않았는지 검증한다. 타입 체커가 1초 이내로 동작해 AI 에이전트가 매 변경 후 확인할 수 있으며, 스레드나 락 없이 자동으로 병렬화된다. 포스트 AGI 시대에 인간 대신 AI가 코드를 작성하는 환경을 겨냥한다.