Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

These low-floor, high-ceiling problems support differentiation, challenging all students by encouraging flexible thinking and allowing for multiple solution paths.

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

Word problems try and tell students a story about the math problem in front of them. They are a useful way to connect abstract numbers to concrete situations, so students can learn early on to apply ...

After years of assigning the kind of homework she had done as a student and observing students’ disengagement with it, a teacher overhauled how she assigns math practice.