Where is Midas headquartered?

Midas is headquartered in New York, USA. The company has a team of 11-50 people.

Midas operates in the AI Safety sector. Midas builds mathematical trust infrastructure that uses formal verification to ensure provable correctness of AI outputs, data, and reasoning. Applies formal mathematical verification to AI systems so outputs are proven correct before use, rather than relying on after-the-fact review, in mission-critical sectors.

When was Midas founded?

Midas was founded in 2025. It is based in New York, USA.

Who is the CEO of Midas?

Renzo Balcazar is the CEO of Midas. The company was founded in 2025.

Where is Midas located?

Midas is headquartered in New York, USA.

What funding stage is Midas at?

Midas is currently at the Seed stage.

How many employees does Midas have?

Midas has approximately 11-50 employees.

Midas

Category: AI Safety

Midas builds mathematical trust infrastructure that uses formal verification to ensure provable correctness of AI outputs, data, and reasoning. Midas was founded in 2025. The company is led by Renzo Balcazar. Based in New York, USA. Team size: 11-50. Total funding raised: $10M. Latest round: Seed. Key investors include Nova Global, Valor Equity Partners, Silicon Valley Angels, Z Fellows, additional angel investors previously backing OpenAI, Tesla, and SpaceX.

Founded: 2025
Headquarters: New York, USA
Team size: 11-50
Total funding: $10M

Value proposition

Applies formal mathematical verification to AI systems so outputs are proven correct before use, rather than relying on after-the-fact review, in mission-critical sectors.

Products and solutions

Proof-native verification platform embedding formal mathematical evidence and correctness checks into AI workflows (outputs, training data, and reasoning verification).

Unique value

Proof-native approach — verifying reasoning and data from the start via formal mathematical verification, rather than error-checking outputs after generation.

Target customer

Enterprises and institutions deploying AI in mission-critical sectors: biotech, defense, hardware design, financial systems, and AI/cloud infrastructure providers.

Industries served

AI Safety/Security, Biotech, Defense, Hardware Design, Financial Systems, Cloud/AI Infrastructure

Technology advantage

Team of IMO/IOI medalists and engineers from Jane Street, Google, AWS, NVIDIA, and Mercor; academic backgrounds from Stanford, MIT, Cambridge, Princeton, Duke; formal verification methods applied to AI reliability.

How they differentiate

Focuses on mathematically provable correctness ('proof-native') across the AI stack rather than post-hoc auditing or interpretability-only approaches used by competitors.

Main competitors

Goodfire (AI interpretability), Harmonic, Imandra (formal verification for AI/finance)

Major milestones

Publicly launched February 5, 2026 with $10M funding round, positioned as backed by early investors of OpenAI, Tesla, and SpaceX.

Market positioning

Positioned as foundational 'trust/verification layer' for AI, targeting high-stakes, mission-critical deployments where unproven AI outputs are unacceptable.

Geographic focus

United States (primarily), targeting global AI infrastructure adopters

About Renzo Balcazar

Duke University alum; International Mathematics Olympiad (IMO) medalist background; co-founded Midas with Shalim Monteagudo-Contreras.

Latest news about Midas

Midas has launched with 10 million dollars in funding to secure AI systems through formal mathematical verification. Founded by 11 IMO and IOI medalists, the company is building proof-native infrastru

More AI Safety companies

Official website: https://trymidas.ai