Axiom, a Silicon Valley startup, has raised $200 million in new funding from Menlo Ventures, Greycroft and Madrona, valuing the year-old company at $1.6 billion. The Palo Alto-based firm employs around 20 people and aims to verify AI-generated code for errors. Similar to rival Harmonic, Axiom initially focused on solving maths problems. Its AxiomProver technology achieved a perfect score on December's Putnam Exam using Lean, a programming language that formally proves mathematical statements. The company recently achieved high scores on benchmark tests for code verification through "transfer learning". Whilst venture capitalists see potential in addressing buggy AI-generated code, experts caution that unlike mathematics, computer programming lacks clear-cut correctness criteria. The technology may verify certain code aspects but cannot eliminate all programming problems, particularly in complex applications.

AMI Labs, co-founded by Turing Prize winner Yann LeCun after leaving Meta, has raised $1.03 billion at a $3.5 billion pre-money valuation to build world models.

Greycroft LP purchased 110,000 additional shares of Sportradar Group, bringing its total holdings to 130,000 shares worth approximately $2.65 million, according to a 17 February SEC filing. The transaction increased Sportradar to Greycroft's sixth-largest holding, representing 1.96% of its reportable assets under management. Sportradar, a sports data and analytics provider, serves the global sports betting and media industries with real-time data covering over one million matches annually across 70 sports. The company partners with 900 media companies, 800 sportsbooks and 400 sports leagues. Despite the increased investment, Sportradar's shares have declined 46% over the period, trading at $17.18 as of 23 February 2026, down 19.2% year-on-year. The company reported $1.45 billion in trailing twelve-month revenue.