Mokhtar Bacha Investments Blog Content

I am the founder of formal.ai. We are working on securing AGI.

Prior to that I was hired at 16 by Ethereum cofounder Joe Lubin to work at ConsenSys. There I worked on prediction markets, wallet infra, and the EVM, and created my first startup in crypto.

I grew up in Lyon, France – the capital of gastronomy. I spent a year in Tallinn, Estonia during COVID-19, and have also called Singapore, New York, and London home. I now live in San Francisco.

In my spare time, I trail run, surf, scuba dive, and read about geopolitics and philosophy. I am an absurdist and my favorite book is The Stranger by Camus.

I believe that the future of Europe lies in a United States of Europe.