In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history. Mathematicians of the era sought a solid foundation for mathematics: a set ...

DeepMind is pushing artificial intelligence into one of the hardest arenas in science, building a system that can navigate ...

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

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.

Most of us first hear about the irrational number π (pi)—rounded off as 3.14, with an infinite number of decimal digits—in ...

When a top-tier mathematician announced in August that he had proved one of the greatest problems in mathematics, the claim was trumpeted in the New York Times, Nature, Science and the Boston Globe.

Over their holiday break, most high school students relax, kick back and watch TV, visit with family, maybe take a trip. But on this last winter holiday, two New Orleans seniors at St. Mary’s Academy ...

Mathematicians say that they have solved a major, decades-old problem in geometry: how to reconstruct the inner structure of a mystery object ‘X’ from knowing only how fast waves travel between any ...

Artificial intelligence continues to evolve—but not always in the same direction. While most AI companies concentrate on ...

Got a terabyte external hard drive at home? Great. Now go buy 199 more and you'll be able to store all the data that was required to make this math proof. Nature reports on a new paper in arXiv ...