Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

If you thought the mathematical proofs you did in high school were long, you haven’t seen the newest one out of the University of Liverpool — computer scientists Alexei Lisitsa and Boris Konev came up ...

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

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

For some people, math can be a necessary headache. Yes, algorithms guide countless aspects of daily life. There are tips to calculate and hours to count. But unless someone's a specialist, they'll ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science has been ...

One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last year, researchers fulfilled a decades-old dream when they unveiled a proof of ...

Two fascinating narratives are interwoven in Love and Math, one mathematical, the other personal. The love that Edward Frenkel alludes to in his title is the passion stirred in the mathematical heart ...

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...