World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable NEW YORK–(BUSINESS WIRE)–Please replace the release dated February 5, World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable NEW YORK–(BUSINESS WIRE)–Please replace the release dated February 5,

CORRECTING and REPLACING Backed by OpenAI, Tesla, and SpaceX Investors, Midas Is Building Mathematical Infrastructure to Secure AI Systems

2026/02/10 10:30
4 min read

World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable

NEW YORK–(BUSINESS WIRE)–Please replace the release dated February 5, 2026 with the following corrected version due to multiple revisions.

The updated release reads:

BACKED BY OPENAI, TESLA, AND SPACEX INVESTORS, MIDAS IS BUILDING MATHEMATICAL INFRASTRUCTURE TO SECURE AI SYSTEMS

World’s Leading Mathematicians Unveil Platform to Transform AI from Plausible to Provable

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 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.

The funding enables Midas to translate formal verification research into production-grade infrastructure. The company is already targeting deployments in biotech, defense, hardware design, financial systems, and underlying AI and cloud infrastructure, environments where correctness must be provable. Midas is not a product cycle. It is a structural correction.

In these domains, correctness is not an improvement. It is the baseline.

“At Nova Global, we focus on backing founders with the potential to become historical figures,” said Carlo Agostinelli, founder of Nova Global. “Shalim Monteagudo-Contreras and Renzo Balcazar are already operating at that level. They’ve built a world-class team from scratch and are taking on one of the most fundamental challenges in AI: trust. Their proof-native approach to ensuring AI reliability demonstrates both the technical ambition and founder-market fit is what turns Midas into a generational company.”

For more information, visit trymidas.ai.

About Midas

Midas is building the verification layer for AI — mathematical trust infrastructure that uses formal verification to ensure provable correctness of AI outputs and training data. Founded by a team of 10 IMO/IOI medalists from Cambridge, MIT, Princeton, Duke, and Stanford, alongside senior engineers from leading technology companies, Midas applies formal mathematics to enable enterprise AI deployment across mission-critical sectors including biotech, defense, hardware design, and finance. The company is backed by Nova Global, and additional tier-one investors.

Contacts

Press Contact
Luca Sesti
[email protected]

Disclaimer: The articles reposted on this site are sourced from public platforms and are provided for informational purposes only. They do not necessarily reflect the views of MEXC. All rights remain with the original authors. If you believe any content infringes on third-party rights, please contact [email protected] for removal. MEXC makes no guarantees regarding the accuracy, completeness, or timeliness of the content and is not responsible for any actions taken based on the information provided. The content does not constitute financial, legal, or other professional advice, nor should it be considered a recommendation or endorsement by MEXC.
Tags:

You May Also Like

Crucial Fed Rate Cut: October Probability Surges to 94%

Crucial Fed Rate Cut: October Probability Surges to 94%

BitcoinWorld Crucial Fed Rate Cut: October Probability Surges to 94% The financial world is buzzing with a significant development: the probability of a Fed rate cut in October has just seen a dramatic increase. This isn’t just a minor shift; it’s a monumental change that could ripple through global markets, including the dynamic cryptocurrency space. For anyone tracking economic indicators and their impact on investments, this update from the U.S. interest rate futures market is absolutely crucial. What Just Happened? Unpacking the FOMC Statement’s Impact Following the latest Federal Open Market Committee (FOMC) statement, market sentiment has decisively shifted. Before the announcement, the U.S. interest rate futures market had priced in a 71.6% chance of an October rate cut. However, after the statement, this figure surged to an astounding 94%. This jump indicates that traders and analysts are now overwhelmingly confident that the Federal Reserve will lower interest rates next month. Such a high probability suggests a strong consensus emerging from the Fed’s latest communications and economic outlook. A Fed rate cut typically means cheaper borrowing costs for businesses and consumers, which can stimulate economic activity. But what does this really signify for investors, especially those in the digital asset realm? Why is a Fed Rate Cut So Significant for Markets? When the Federal Reserve adjusts interest rates, it sends powerful signals across the entire financial ecosystem. A rate cut generally implies a more accommodative monetary policy, often enacted to boost economic growth or combat deflationary pressures. Impact on Traditional Markets: Stocks: Lower interest rates can make borrowing cheaper for companies, potentially boosting earnings and making stocks more attractive compared to bonds. Bonds: Existing bonds with higher yields might become more valuable, but new bonds will likely offer lower returns. Dollar Strength: A rate cut can weaken the U.S. dollar, making exports cheaper and potentially benefiting multinational corporations. Potential for Cryptocurrency Markets: The cryptocurrency market, while often seen as uncorrelated, can still react significantly to macro-economic shifts. A Fed rate cut could be interpreted as: Increased Risk Appetite: With traditional investments offering lower returns, investors might seek higher-yielding or more volatile assets like cryptocurrencies. Inflation Hedge Narrative: If rate cuts are perceived as a precursor to inflation, assets like Bitcoin, often dubbed “digital gold,” could gain traction as an inflation hedge. Liquidity Influx: A more accommodative monetary environment generally means more liquidity in the financial system, some of which could flow into digital assets. Looking Ahead: What Could This Mean for Your Portfolio? While the 94% probability for a Fed rate cut in October is compelling, it’s essential to consider the nuances. Market probabilities can shift, and the Fed’s ultimate decision will depend on incoming economic data. Actionable Insights: Stay Informed: Continue to monitor economic reports, inflation data, and future Fed statements. Diversify: A diversified portfolio can help mitigate risks associated with sudden market shifts. Assess Risk Tolerance: Understand how a potential rate cut might affect your specific investments and adjust your strategy accordingly. This increased likelihood of a Fed rate cut presents both opportunities and challenges. It underscores the interconnectedness of traditional finance and the emerging digital asset space. Investors should remain vigilant and prepared for potential volatility. The financial landscape is always evolving, and the significant surge in the probability of an October Fed rate cut is a clear signal of impending change. From stimulating economic growth to potentially fueling interest in digital assets, the implications are vast. Staying informed and strategically positioned will be key as we approach this crucial decision point. The market is now almost certain of a rate cut, and understanding its potential ripple effects is paramount for every investor. Frequently Asked Questions (FAQs) Q1: What is the Federal Open Market Committee (FOMC)? A1: The FOMC is the monetary policymaking body of the Federal Reserve System. It sets the federal funds rate, which influences other interest rates and economic conditions. Q2: How does a Fed rate cut impact the U.S. dollar? A2: A rate cut typically makes the U.S. dollar less attractive to foreign investors seeking higher returns, potentially leading to a weakening of the dollar against other currencies. Q3: Why might a Fed rate cut be good for cryptocurrency? A3: Lower interest rates can reduce the appeal of traditional investments, encouraging investors to seek higher returns in alternative assets like cryptocurrencies. It can also be seen as a sign of increased liquidity or potential inflation, benefiting assets like Bitcoin. Q4: Is a 94% probability a guarantee of a rate cut? A4: While a 94% probability is very high, it is not a guarantee. Market probabilities reflect current sentiment and data, but the Federal Reserve’s final decision will depend on all available economic information leading up to their meeting. Q5: What should investors do in response to this news? A5: Investors should stay informed about economic developments, review their portfolio diversification, and assess their risk tolerance. Consider how potential changes in interest rates might affect different asset classes and adjust strategies as needed. Did you find this analysis helpful? Share this article with your network to keep others informed about the potential impact of the upcoming Fed rate cut and its implications for the financial markets! To learn more about the latest crypto market trends, explore our article on key developments shaping Bitcoin price action. This post Crucial Fed Rate Cut: October Probability Surges to 94% first appeared on BitcoinWorld.
Share
Coinstats2025/09/18 02:25
USD/INR edges lower as Indian Rupee gains on improving equity inflows

USD/INR edges lower as Indian Rupee gains on improving equity inflows

The post USD/INR edges lower as Indian Rupee gains on improving equity inflows appeared on BitcoinEthereumNews.com. USD/INR loses ground on Tuesday after two days
Share
BitcoinEthereumNews2026/02/10 12:37
Sahara AI has entered into a strategic partnership with South Korean payment giant Danal Fintech to jointly build a stablecoin AI payment system.

Sahara AI has entered into a strategic partnership with South Korean payment giant Danal Fintech to jointly build a stablecoin AI payment system.

PANews reported on February 10th that artificial intelligence company Sahara AI has entered into a deep collaboration with Danal Fintech, one of South Korea's largest
Share
PANews2026/02/10 12:42