A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

When I tell someone I am a mathematician, one of the most curious common reactions is: “I really liked math class because everything was either right or wrong. There is no ambiguity or doubt.” I ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

Large language models still struggle with basic reasoning tasks. Two new papers that apply machine learning to math provide a blueprint for how that could change. The world has learned two things in ...