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.

For faculty and graduate students who would like to run a project as part of the Experimental Mathematics Lab, please contact us with a project description. We would be very happy to provide ...

Bob Moses, a lion of the civil rights movement who helped to secure voting rights for black people in Mississippi; the seat of the nation’s most virulent racial hatred in the 1960’s, saw early on 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 ...

Teruni Lamberg, University of Nevada, Reno College of Education associate professor of elementary mathematics education, has a passion for preparing current and future educators to teach math more ...

A new math curriculum project at Calvin College is complete and ready to be used by middle school and high school teachers across the country and beyond. The project comes from the Kuyers Institute ...

Imagine walking into a math classroom. Everything is quiet, students are diligently writing and reading and thinking. You hear the rustle of paper, scratching pens, and the occasional student shifting ...

Learn to use math and computers to model tissues, treatments, and toxicology. Develop mathematical and computational models to enhance understanding of the mechanisms governing tissue damage as a ...