Math + AI = ASI Homepage

We are a team of Math & AI researchers at Caltech, focused on developing AI systems that can tackle hard research-level math problems. Solving challenging mathematical tasks --- such as proving or disproving long-standing conjectures, or establishing difficult theorems --- often requires discovering intricate, multi-step solutions. Our mission is to use these hard mathematical problems as environments to design new AI algorithms and architectures that can identify rare solutions carrying disproportionately high rewards. In other words, we aspire to be one of the best AI research labs focused on sparse-reward, long-horizon tasks.