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.

Number sense is so ingrained that many adults don’t remember being taught such early math skills, much like learning how to read. But unlike the recent wave of evidence on science-based reading ...

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.

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

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...

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

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

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

Carrie Stark always relied on math games to engage her students, assuming they would pick up concepts like multiplication by seeing them in action. Alas, the kids had fun, as AP reported, but the ...