Tennessee must teach math concepts, rather than mere calculations, to compete in the age of AI and boost the economy.

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

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

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or two to tell you about fascinating ideas from their corner of the universe.

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems gathered from the International Mathematical Olympiad. The International ...

Math-M-Addicts students eagerly dive into complex math problems during class. In the building of the Speyer Legacy School in New York City, a revolutionary math program is quietly producing some of ...

Math 307 is a theoretical course in linear algebra, geared primarily for students majoring in mathematics, mathematics and physics, and applied mathematics. (Although everyone is welcome, if you're ...