Synthesis is an AI-powered math and problem-solving tutor originally developed for children of SpaceX employees. It adapts to each student's level and uses game-like challenges to build mathematical thinking. Now available to families worldwide for K-12 math.