The speed at which artificial intelligence is gaining in mathematical ability has taken many by surprise. It is rewriting what it means to be a mathematician ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Tao: Today there are a lot of very tedious types of mathematics that we don’t like doing, so we look for clever ways to get ...

David Cutler is in the spotlight for his work on a tasty-sounding mathematics problem. In January, the New York Times featured a research paper authored by Cutler and Neil Sloane, the founder of The ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Fermat’s Last Theorem is one of the most famous problems in mathematical history. Proposed in the 17th century, it claimed that certain equations have no solutions in whole numbers. For centuries, ...

Solving arithmetic problems, even simple subtractions, involves mental representations whose influence remains to be clarified. Visualizing these representations would enable us to better understand ...

Math vocabulary alone isn’t a silver bullet—but research shows it’s linked to stronger academic achievement when paired with expert teaching practices.

Six mathematicians from the United States, Europe and Canada have emerged as leading contenders for the 2026 Fields Medal, ...