Today, we're open-sourcing QWED — a protocol that brings mathematical certainty to AI outputs.

The Problem​

LLMs are incredible at understanding natural language. But they're terrible at math. They hallucinate facts. They generate unsafe code.

The industry's solution? Train them more. Fine-tune with RLHF. Add guardrails.

We took a different approach.