Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

Calcea Johnson and Ne'Kiya Jackson, who surprised the math world when they produced innovative solutions to a 2,000-year-old puzzle, wowed the math world again when they presented several new ways of ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

Most famous equation: Einstein's E = mc2, which means energy is equal to mass times the speed of light squared. Known digits of pi: More than 105 trillion digits Digits of pi NASA uses for equations: ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...