{"id":216401,"date":"2026-03-31T05:48:59","date_gmt":"2026-03-31T05:48:59","guid":{"rendered":"https:\/\/dailytalks.org\/?p=216401"},"modified":"2026-03-31T05:48:59","modified_gmt":"2026-03-31T05:48:59","slug":"theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it","status":"publish","type":"post","link":"https:\/\/dailytalks.org\/?p=216401","title":{"rendered":"Theorem wants to stop AI-written bugs before they ship \u2014 and just raised $6M to do it"},"content":{"rendered":"<p>As artificial intelligence reshapes software development, a small startup is betting that the industry&#8217;s next big bottleneck won&#8217;t be writing code \u2014 it will be trusting it.Theorem, a San Francisco-based company that emerged from Y Combinator&#8217;s Spring 2025 batch, announced Tuesday it has raised $6 million in seed funding to build automated tools that verify the correctness of AI-generated software&#8230;<br \/><a href=\"https:\/\/venturebeat.com\/security\/theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-usd6m\" class=\"button purchase\" rel=\"nofollow noopener\" target=\"_blank\">Read More<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>As artificial intelligence reshapes software development, a small startup is betting that the industry&#8217;s next<\/p>\n","protected":false},"author":1,"featured_media":216402,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[35],"tags":[],"class_list":["post-216401","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tech"],"featured_image_urls":{"full":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"thumbnail":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it-150x150.webp",150,150,true],"medium":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"medium_large":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"large":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"1536x1536":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"2048x2048":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"chromenews-featured":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"chromenews-large":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false],"chromenews-medium":["https:\/\/dailytalks.org\/wp-content\/uploads\/2026\/03\/216401-theorem-wants-to-stop-ai-written-bugs-before-they-ship-and-just-raised-6m-to-do-it.webp",300,168,false]},"author_info":{"display_name":"Jonathan Jeriah","author_link":"https:\/\/dailytalks.org\/?author=1"},"category_info":"<a href=\"https:\/\/dailytalks.org\/?cat=35\" rel=\"category\">Tech<\/a>","tag_info":"Tech","comment_count":"0","_links":{"self":[{"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/posts\/216401","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dailytalks.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=216401"}],"version-history":[{"count":0,"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/posts\/216401\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailytalks.org\/index.php?rest_route=\/wp\/v2\/media\/216402"}],"wp:attachment":[{"href":"https:\/\/dailytalks.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=216401"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailytalks.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=216401"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailytalks.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=216401"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}