Cracking the Code of

Cracking the
Code of

Superintelligence.

Research

Diligent Learner

A search theoretic perspective on reasoning gives rise to a new learning paradigm that efficiently infers the underlying thought process behind scientific results.​

FormulaOne Benchmark

A reasoning benchmark at the level of real world mathematically complex problems, stumping all frontier AI models.

PAC Reasoning

A theoretical paradigm that provides robust guarantees for reliably decomposing complex problems, with a practical mechanism for controlling reasoning precision.

About

AAl is a team of elite researchers spanning computer science, mathematics, physics, and biology. We are building transformative Al technology that drives new scientific discoveries and reshapes how humanity solves its hardest problems. Our mission is simple: to usher in a new age of discovery by cracking the code of superintelligence.

Founding Team

Prof. Amnon Shashua

CEO

Prof. Shai Shalev-Shwartz

CTO

Prof. Yoav Levine

Prof. Or Sharir

Dr. Noam Weis

Dr. Gal Beniamini