Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it
via theorem.dev
Short excerpt below. Read at the original source.
As artificial intelligence reshapes software development, a small startup is betting that the industry’s next big bottleneck won’t be writing code — it will be trusting it. Theorem, a San Francisco-based company that emerged from Y Combinator’s Spring 2025 batch, announced Tuesday it has raised $6 million in seed funding to build automated tools that […]