Math + AI = AGI 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.