Logical Intelligence is a fundamental AI research organization that uses new techniques in reasoning to make theorem-provers capable of verifying large computer programs. Their early commercial traction is in the crypto space, where billions of dollars might be at stake for software errors.

The company uses a process called "formal verification" and has developed a model that allows an AI agent called Aleph to convert code into mathematical proofs that can be verified to 100% accuracy. The team includes a Fields Medal winner and programming world champion.