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

Some mathematical statements feel undeniably true the moment you hear them. Yet proving them can be impossible. This theorem ...

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

Terence Tao, a mathematics professor at UCLA, is a real-life superintelligence. The “Mozart of Math,” as he is sometimes called, is widely considered the world’s greatest living mathematician. He has ...

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

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

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...