MoAI MoAI is an automated theorem discovery system. The origin of the name "MoAI" is "Math of Artifical Intelligence."
