A significant trend is emerging in Silicon Valley as a new group of start-ups aims to enhance the reliability of artificial intelligence in software development. Notable companies like Axiom Math and Harmonic in Palo Alto, along with Logical Intelligence in San Francisco, are working on innovative solutions to verify computer code generated by AI systems.
On Thursday, Axiom announced it has successfully secured $200 million in funding from several venture capital firms, including Menlo Ventures and Greycroft. The company, which is just a year old and has a workforce of around 20, has reached a valuation of $1.6 billion.
Research from Carnegie Mellon University highlighted concerns regarding the quality of AI-generated code, noting that it may lead to increased project delays. Axiom's CEO, Carina Hong, emphasized that "code verification is probably the next frontier," indicating a strong belief in the necessity of their work to improve AI output in software development.