Formal Markets
PortfolioProgressRead

An advance market commitment for formal AI

Formal Markets are structures to incentivize the development of AI systems that are both economically viable and verified standards (flexHEGS)º and commitmentsº. This market approachº involves setting prices or rewards based on the fulfillment of formal safety criteria, aligning economic incentives with the goal of guaranteed safe and provably beneficialº AI deployment.
Formal Markets involve developing rigorous mathematics for safe AIº , cryptography and policies to verifyº that AI systems adhere to specified properties, providing a foundation for predictable and reliable outputs and social impacts.

Businesses

Get in touch

Developers

Get in touch
Abstract visualization

Founding members

Company logo
Company logo
Company logo
Company logo
Company logo

How Formal Markets work

Formal Guarantees

Utilizing mathematical models and formal methods to rigorously prove that AI systems operate within specified safety and ethical boundaries.

Creation of Countermeasures

Developing tools and techniques to prevent, detect, and mitigate potential misuse or harmful outcomes of AI systems.

Expert selection

Our team of experts evaluates solutions based on technical merit, scalability, and potential impact.

Current Players

View all
Portfolio item Tenstorrent Inc.

Tenstorrent Inc.

Tenstorrent focuses on developing advanced AI chip architectures, emphasizing formal verification methods to ensure design integrity and performance.

Learn more
Portfolio item Atlas Computing

Atlas Computing

Atlas Computing is an R&D nonprofit prototyping AI-powered tools to generate formal specifications, aiming to empower engineers to verify code easily and develop trustworthy software.

Learn more
Portfolio item TamperSec

TamperSec

TamperSec specializes in protecting sensitive hardware against sophisticated physical attacks by sealing them within secure enclosures, ensuring hardware integrity.

Learn more
Metric Views (Ref)º
Security Metrics – Secure Processor Compliance Settings
3
 bits
256
3
Startups – RISC-V and Flexible Hardware
3
CodasipFunding: Raised $10 million in Series A funding in 2018

Specializes in RISC-V processor technologies, enabling system-on-chip developers to differentiate their products.

View Metrics
External Views
Why not fund initiatives that help ensure AGI is beneficial, like AI governance initiatives, safety and alignment research, and easing impacts on the labor market?
Jan Leike

Ready to participate?

Whether you're a business looking to streamline operations or a developer building the next generation of workflow tools, we want to hear from you.

I'm a businessI'm a developer
Abstract visualization