Imagine Jo: Everyone in Jo's life recognizes her as an outstanding problem solver. She's the type of person who seems capable of almost anything. Jo excels at intuitive problem-solving. Over her life, ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...