Learning Maths Task MU models the task of learning pure maths by reading a book The text is written in FEL MU learns defns & theorems MU checks the proofs MU solves simple problems MU learns from scratch MU does open learning

MU models the task of a student learning University level pure mathematics by reading a textbook. The textbook is first translated by hand into the Formal Expression Language which forms the input for MU. MU learns the definitions and theorems, checks the proofs and is able to solve the simple problems. MU learns from scratch in the sense that MU has no built in knowledge of mathematical results. All this knowledge is acquired by learning, but MU does have built in procedural knowledgde about how to go about checking a proof and built in general purpose heuristics to solve problems. MU does open learning in the sense that, in principle, MU can learn any branch of pure mathematics.