Typesafe AI has raised $870 million in funding at a $7.5 billion valuation. The AI lab focuses on building machine-native intelligence infrastructure for software automation and is currently offering early access to its first decision-making model, Jev.