Source link : https://tech365.info/theorem-needs-to-cease-ai-written-bugs-earlier-than-they-ship-and-simply-raised-6m-to-do-it/
As synthetic intelligence reshapes software program growth, a small startup is betting that the trade’s subsequent huge bottleneck received’t be writing code — it will likely be trusting it.
Theorem, a San Francisco-based firm that emerged from Y Combinator’s Spring 2025 batch, introduced Tuesday it has raised $6 million in seed funding to construct automated instruments that confirm the correctness of AI-generated software program. Khosla Ventures led the spherical, with participation from Y Combinator, e14, SAIF, Halcyon, and angel buyers together with Blake Borgesson, co-founder of Recursion Prescribed drugs, and Arthur Breitman, co-founder of blockchain platform Tezos.
The funding arrives at a pivotal second. AI coding assistants from firms like GitHub, Amazon, and Google now generate billions of strains of code yearly. Enterprise adoption is accelerating. However the capacity to confirm that AI-written software program really works as supposed has not stored tempo — creating what Theorem’s founders describe as a widening “oversight gap” that threatens vital infrastructure from monetary techniques to energy grids.
“We’re already there,” mentioned Jason Gross, Theorem’s co-founder, after we requested whether or not AI-generated code is outpacing human evaluation capability. “If you asked me to review 60,000 lines of code, I wouldn’t know how to do it.”
Why AI is writing code sooner than people can confirm it
Theorem’s core expertise combines formal verification…
—-
Author : tech365
Publish date : 2026-01-28 02:01:00
Copyright for syndicated content belongs to the linked Source.
—-
1 – 2 – 3 – 4 – 5 – 6 – 7 – 8