About Formal Markets

Formal Markets are structured systems designed to incentivize the development of AI that is economically viable and adheres to verified safety and ethical standards (flexHEGS). They set prices or rewards based on meeting formal safety criteria, aligning economic incentives with the creation of safe, provably beneficial AI. This involves using rigorous mathematics, cryptography, and policies to verify AI systems' adherence to specified properties, ensuring predictable, reliable outputs and positive social impacts. Key components include formal guarantees through mathematical models, countermeasures to prevent misuse, and expert evaluation of solutions based on technical merit, scalability, and impact.

Founding members

Jonas Kgomo

Joël Christoph