YC-backed AI math learning company building adaptive tools for personalized learning, reportedly used by more than 5 million students. Trade Mathos on...