See math in action and learn by teaching.

Adventure among the stars

Explore a highly engaging, 3D science-fiction environment where practical math skills are crucial to success. Overcome realistic in-game challenges by applying what you learned in class: modeling predicaments as math problems, and using the solution you devise to progress.

Learn by teaching

Help tutor the in-game protagonist, "L", an android who thinks like a human - and makes the same math mistakes human students do. You will think about why and where L makes those mistakes, and how best to explain to L how to learn from them.

Adapts to player actions

Behind the flashy graphics and gameplay is a cutting edge artificial intelligence system, CYC®. Every problem that is encountered is optimized for each overall skill level, as well as specific math strengths and weaknesses; the challenge is never too hard nor too easy.

Who can benefit from playing MathCraft?

MathCraft is designed to deepen your understanding of skills and concepts that have already been taught. Currently, most of the material in MathCraft is focused on early middle-school pre-algebra math, so it's ideal for students in 6th through 8th grade who could benefit from gaining a deeper understanding of pre-algebra math.

Teaser Trailer
Extended Overview
Teaser Trailer
Extended Overview

About Cycorp

Cycorp is a leading provider of semantic technologies that bring a new level of intelligence and common sense reasoning to a wide variety of software applications. The Cyc software combines an unparalleled common sense ontology and knowledge base with a powerful reasoning engine and natural language interfaces to enable the development of novel knowledge-intensive applications.

Cyc technology drives MathCraft's learning-by-teaching system. Behind the scenes throughout the game, Cyc simulates the character L, who is the avatar that the player teaches. Cyc facilitates learning-by-teaching by ensuring that L always seems to be a little more confused about the subject matter than the player is.

Cyc provides for different player experiences during math problem solutions. The player's job is to watch L solve math problems and to try to catch and explain L's mistakes. Cyc uses its extremely detailed model of the student’s current math skills and weaknesses together to determine how L should try to solve each math problem. Cyc has L solve each math problem in a way that will lead to the best educational outcomes for the student. For example, assume Cyc knows that a player is prone to adding fractions by adding numerators and denominators separately. When that player is confronted in-game with a problem involving adding fractions, Cyc can use what it knows about the player to have L make the same mistake, thereby giving the player a chance to correct their error.

Cyc also provides for different user experiences in terms of which math problems each player encounters. In many areas of the game, the math problems that a user experiences are not hard-coded. Rather, the game asks Cyc, “Which problems should appear here?” Cyc then examines the user model along with metadata about the problems (e.g. things like knowing that a given problem is good for high-ability students) and selects the best problems. Then Cyc passes this information back to the game, so the game can effectively personalize the player's experience. The game environment itself varies in these situations (for example, players who Cyc thinks need practice with unit conversion will see items measured in different units, but other players will get measurements in the same units).

Cyc provides remedial instruction for players when they make mistakes. When a player makes a mistake in solving a math problem with L, Cyc can identify the mistake as well as determine an appropriate follow-up problem to help remind the student of the correct thing to do.

Thanks to Cyc’s ability to do temporal projection, Cyc can also simulate a player's forgetting of math concepts and skills. If a player is away from MathCraft for a significant time, when they log back in Cyc can lower its estimation of their math concepts and skills by considering the amount of time they’ve been away and projecting how they’re likely to perform, on the assumption that they’ve not been practicing math independently.