Every year, math nerds and dessert enthusiasts unite to celebrate Pi Day on March 14, a date whose digits represent the first ...

A pole vaulter and three-time captain on Smith’s track and field team, Kerry Seekamp ’26 is fascinated by the intricacies of ...

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

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

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

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

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

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

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

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