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