World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable
NEW YORK, February 05, 2026–(BUSINESS WIRE)–Midas, a company that uses mathematical verification to make artificial intelligence systems reliable and secure, today announced its public launch after closing a $10 million funding round led by Valor Equity Partners and Nova Global.
The company is backed by investors behind OpenAI, Tesla, and SpaceX, signaling early confidence from institutions with direct experience building some of the most consequential technology companies in the world.
Midas is formed by 11 medalists from the International Mathematical Olympiad (IMO) and the International Olympiad in Informatics (IOI), the most selective academic competition in the world, where countries are allowed to send only a handful of participants each year. The team brings experience from Jane Street, Google, AWS, NVIDIA, and Mercor, and academic backgrounds spanning Stanford, MIT, Cambridge, Princeton, and Duke.
Together, they are applying formal mathematical verification to one of the most urgent problems in AI: trust.
“Modern AI produces fluent, convincing answers, but it cannot prove they are correct,” said Shalim Monteagudo-Contreras, President and Co-Founder of Midas. “Midas is building the barrier between probabilistic outputs and real-world systems. We enforce correctness mathematically, so results are not inferred, argued, or hoped for, but proven before they are allowed through.”
Fluency is not a property you can audit. Proof is.
Renzo Balcazar, CEO and Co-Founder of Midas, added: “Every human institution, from law to science to finance, runs on evidence. Artificial intelligence is the first form of intelligence that operates without it.”
AI is the first intelligence deployed at scale without a proof loop. It produces results without explanation, confidence without causality, output without evidence.
As AI systems generate outputs faster than humans can evaluate them, the era of plausible machines is coming to an end. Coherence is mistaken for correctness. Fluency replaces evidence. Confidence replaces truth.
Plausibility scales. Proof does not, unless it is built into the system.
According to Rodrigo Porto, Tech Lead at Midas, verifying reasoning from the start, rather than checking errors at the end, is what makes trust possible as systems grow too complex for manual review. Midas introduces mathematical evidence at the core of AI, verifying outputs, data, and reasoning so these systems can be trusted where mistakes are not an option.
