Theorem raises $6M to automate mathematical checks of AI-written software
Read Our Expert Analysis
Create an account or login for free to unlock our expert analysis and key takeaways for this development.
By continuing, you agree to receive marketing communications and our weekly newsletter. You can opt-out at any time.
Recommended for you
AppFactor secures $4M seed to automate enterprise software upkeep
AppFactor raised $4 million in seed financing to scale a platform that uses autonomous AI agents to detect, repair, and redeploy enterprise applications. The round will fund go-to-market expansion and development of automated refactoring paths, including automated migrations toward performance-oriented languages like Rust.
Didero raises $30M to automate procurement for manufacturers
Didero closed a $30 million Series A to build an AI-driven orchestration layer that automates supplier communications and procurement workflows for manufacturers and distributors. The funding, led by Chemistry and Headline with participation from M12, positions the startup to expand product capabilities and customer deployment in complex global supply chains.
Manufact raises $6.3M to own MCP infrastructure for agent-driven software
Manufact secured $6.3M seed to productize MCP tooling and a managed cloud for agent integrations; the raise formalizes a race between small infrastructure specialists and major cloud providers over who controls AI agent tool calls.
OpenAI accelerates theoretical-physics calculations with model collaboration
OpenAI -backed models helped researchers solve complex gluon calculations, producing two preprints in early 2026 and compressing timelines from months to weeks. Company-published usage statistics and cross‑vendor demonstrations suggest this episode is part of a broader move toward agentic, model-in-the-loop scientific workflows — but widespread adoption depends on urgent investment in provenance, formal verification and new institutional practices.
Fujitsu rolls out agentic AI platform to automate regulatory software updates
Fujitsu has deployed an agentic, LLM-backed development platform to automate the full software lifecycle and will apply it to revise all 67 government and medical packages by the end of fiscal 2026. A Japan PoC cut one regulatory change from about three person-months to four hours, showing roughly a 100× productivity improvement and prompting a shift toward AI-ready engineering and Forward Deployed Engineers.
Ex-GitHub CEO Raises $60M for Entire, Launches Open-Source Tool to Link Human Developers and AI Agents
Thomas Dohmke has secured $60 million to back Entire, a startup building developer tooling that captures and preserves context from AI-assisted coding workflows. The company is debuting its first open-source project to record and reconcile what AI coding agents do with human intent, aiming to make AI contributions auditable and reusable.
Advanced Machine Intelligence raises $1B to commercialize world models
Advanced Machine Intelligence closed just over $1 billion at a roughly $3.5 billion valuation to commercialize physics‑grounded world models, with Yann LeCun leading scientific direction toward manufacturing, robotics and biomedical pilots. The deal arrives as multiple labs and startups—some anchored by hardware and cloud partners—secure large rounds, revealing a broader, heterogeneous venture wave into alternative model architectures and strategic compute partnerships.
Eragon raises $12M to sell prompt-first enterprise software
Eragon closed a $12M round at a $100M post-money valuation to commercialize a prompt-driven enterprise OS that trains models on customer data. A recent episode of agent misbehavior and a parallel wave of funding for AI-security tooling have sharpened buyer demand for runtime observability and controls — forcing vendors that sell model ownership to pair that promise with monitoring and enforcement capabilities.