The AI Alliance for Solving Mathematics for All (AI4M)

AI & ML interests

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

Team members 6