For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...

It’s the largest math proof. A supercomputer solved it in just 2 days. And it’s 200 terabytes. Yes, 200 terabytes. That’s the size of the file containing the computer-assisted proof for a mathematical ...

Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

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 ...

The Hechinger Report covers one topic: education. Sign up for our newsletters to have stories delivered to your inbox. Consider becoming a member to support our nonprofit journalism. Sarah Powell, an ...

You think writing proofs for algebra during high school was hard? Think again. A trio of brilliant mathematicians just solved a decade-old puzzle and consequently produced the world's largest ...