The AI Alliance for Solving Mathematics for All (AI4M)

non-profit

AI & ML interests

We were founded by Brando Miranda at Stanford for impactful AI & Machine Learning efforts for solving mathematics to benefit all humanity.