Save time with AI without trusting its math.
Proofstone's AI training shows math teachers how to plan lessons and make materials faster with AI, how to catch the math mistakes it makes, and how to set clear rules for how students use it. It runs as a live workshop, online or at your school, or as coaching for one teacher or a small team.
Find the mistake
Here's a worked solution written the way AI tools write them: tidy, confident and even checked. One line is wrong. Which one?
| Step | Statements | Reasons |
|---|---|---|
| 1 | x² = 3x | Given |
| 2 | x = 3 | Divide both sides by x. |
| 3 | 3² = 9 and 3 · 3 = 9 | Substitute x = 3 to check. |
| Therefore | The only solution is x = 3. | |
Which line is wrong?
This one is simple on purpose. The same slip, dividing by something that might be zero, hides in trig and rational equations, and AI tools make it without any warning.
What teachers learn
The training covers three areas, weighted toward what your teachers need most.
Plan lessons and make materials faster
How to use AI to draft lesson plans, practice sets, leveled versions of a worksheet and exit tickets, with prompts that get usable math out of it instead of generic filler.
Catch AI's math mistakes
Where AI tools tend to go wrong in math, like slips in long calculations, lost solutions, answer keys that don't match their problems and word problems with impossible numbers, plus a quick routine for checking anything before it reaches students.
Set rules for student AI use
Clear rules for when students can use AI in math class and how they should show it, plus ways to design homework and tests that still show what each student understands.
How it runs
Choose one format or combine them, depending on what your school needs.
- Live online workshop
- For a department or a whole staff, over video.
- In-person workshop
- At your school, for a department or a whole staff.
- One-on-one or small-team coaching
- Built around the lessons your teachers are working on right now.
Price
Each school's plan is quoted to fit its size and format. Email me with your school, how many teachers, and the format you have in mind.
Who runs the training
I'm Matt Byers, a licensed Kentucky math teacher with an M.Ed. in Educational Technology from Moreland University. As founding faculty at the Canadian School of Ulaanbaatar, I designed its grades 9–12 math curriculum, including AP Calculus.
I also do contract work evaluating AI models, including how they handle math, so finding their mistakes is part of my job.
Plan your training
Email matt@proofstonemath.com with your school, how many teachers, and what you'd like them to leave able to do.
Email to plan your training