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.

Think you left mathematics behind in high school? Think again. It touches your everyday life, and a RI-based society is ...

Eclipse, a blockchain infrastructure platform founded by computer scientist Neel Somani, has released new insights into the growing role of artificial intelligence in mathematical discovery. The ...

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

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

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

Being able to secure funding for research is a goal held by many faculty members throughout higher education, though it is one that often takes years of proposals and refinement to achieve. Kara Maki, ...

Burgeoning research into students’ difficulties with mathematics is starting to tease out cognitive differences between students who sometimes struggle with math and those who have dyscalculia, a ...

The 17-year-old high school senior beat out roughly 2,600 student projects to claim the top spot.

This summer, a popular Yale program that provides undergraduates with valuable mathematics research experience will undergo some intriguing addition of its own. For the first time, the Summer ...

In a recent research paper, European mathematicians Cyril Grunspan and Ricardo Pérez-Marco demonstrated through calculus and game theory that, thanks to the robust network security and relatively high ...

A key part—though surely not the only part—of early-grades math is ensuring students get the basic arithmetic functions down and, beyond that, making sure they’re able to swiftly and automatically ...