Midas, a new company founded by a team of elite mathematicians and engineers, has officially launched with a $10 million funding round led by Valor Equity Partners and Nova Global. Backed by investors from OpenAI, Tesla, and SpaceX, Midas is tackling one of AI’s most pressing challenges: establishing trust through mathematical proof rather than probabilistic confidence. The company was formed by 11 medalists from the International Mathematical Olympiad and the International Olympiad in Informatics—among the most selective academic competitions globally. These founders bring deep expertise from top institutions including MIT, Stanford, Cambridge, Princeton, and Duke, as well as experience at leading tech firms like Jane Street, Google, AWS, NVIDIA, and Mercor. At the core of Midas’s mission is the belief that today’s AI systems are fluent but unprovable. “Modern AI produces convincing answers, but it cannot prove they are correct,” said Shalim Monteagudo-Contreras, President and Co-Founder. “Midas is building the barrier between plausible outputs and real-world reliability. We enforce correctness mathematically—so results are not guessed, argued, or hoped for, but proven.” Renzo Balcazar, CEO and Co-Founder, emphasized the fundamental gap in current AI: “Every human institution—law, science, finance—runs on evidence. AI is the first intelligence that operates without it.” As AI generates outputs faster than humans can assess them, the era of trusting ‘plausibility’ is ending. Coherence is no longer a substitute for correctness. Midas’s platform introduces formal mathematical verification at the foundation of AI systems. Rather than detecting errors after the fact, it verifies reasoning, data, and outputs from the start—making trust scalable even as systems grow too complex for manual oversight. The company is targeting high-stakes industries where failure is not an option: biotech, defense, hardware design, financial systems, and core AI and cloud infrastructure. In these domains, correctness isn’t a feature—it’s a requirement. John Stanton, Vice President at Valor Equity Partners, highlighted the strategic importance of verification: “Every layer of the AI ecosystem has needed its own infrastructure. Verification is the final missing piece. This isn’t about probabilities—it’s about proof. Midas’s culture of demanding only what can be demonstrated sets it apart.” Carlo Agostinelli, founder of Nova Global, called Midas a generational venture: “Shalim and Renzo are building not just a company, but a new foundation for AI. Their proof-native approach addresses a fundamental flaw in today’s systems. They’re not improving AI—they’re redefining what it means for AI to be trustworthy.” With this funding, Midas is moving from theoretical research to real-world deployment, aiming to become the mathematical backbone of reliable AI. The company’s vision is not incremental—it’s structural. As it puts proof at the heart of AI, Midas seeks to transform the field from one based on confidence to one grounded in certainty.