Number theorists are always looking for hidden structure. And when confronted by a numerical pattern that seems unavoidable, they test its mettle, trying hard—and often failing—to devise situations in ...

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

Four simple strategies—beginning with an image, previewing vocabulary, omitting the numbers, and offering number sets—can have a big impact on learning.