Didakteo Wants Maths Sequences You Can Check

Field notes

Didakteo describes a sequence-building pipeline that combines a brief, official-program material, and a didactic database before generating a proposal for review. Its deterministic engine replays corrected calculations step by step and tests equality-based answers against their statements. Coverage varies by chapter: algebraic calculation is close to fully checkable, while written justification, geometric construction, and abscissa reading remain outside that guarantee. Billing, assisted editing, and visual styling are still unfinished.