Mathmoments

The American Mathematical Society's Mathematical Moments program promotes appreciation and understanding of the role mathematics plays in science, nature, technology, and human culture. Listen to researchers talk about how they use math, from creating realistic animation to beating cancer.

  1. Tapering AI Limits with Mathematcial Formalization

    Dr. Alex Best, of Harmonic discusses AI's struggles with technical and ethical limitations like uninterpretable methods and a lack of diverse datasets make facial recognition and medical software dangerously biased. If algorithms output answers without little explanation, how can one trust those results? Interpretability is a prerequisite to replace the work of human researchers. But using AI for formalizing mathematics offers some mitigation, Alex Best says. "Instead of asking for an answer, you ask for an answer and a machine-checkable proof that that answer is correct."

  2. Unlocking the Secrets of AI

    Dr. Kristen Lauter, director of FAIR (Fundamental AI Research) Labs, Meta, North America, discusses how cryptographers are using AI. Online, private information is secured using difficult-to-solve math problems. Researchers must test those problems thoroughly to be sure they are truly difficult - if hackers can solve the problem, they'll have access to your information.

  3. Modernizing Math with Artificial Intelligence

    Dr. Po-Shen Loh of Carnegie Mellon University, discusses how AI is changing the landscape of mathematics and looks ahead at what might come. As algorithms have matured, mathematicians have embraced computation as means to accelerate math discoveries. Researchers integrate AI with "proof checking" tools, like the software Lean, to avoid errors more quickly. According to Loh, this makes it easier for large teams to collaborate and for peers to check each other's discoveries for accuracy. According to a study in the journal Nature, mathematicians anticipate that AI will guide human intuition, and help to prove unsolved conjectures.

  4. Smashing Particles up Against Mathematics

    Dr. Abiy Tasissa of Tufts University, discusses the mathematics he and colleagues used to study particle collider data, including optimal transport and optimization. Collider physics often result in distributions referred to as jets. Dr. Tasissa and his team used "Earth Mover's Distance" and other mathematical tools to study the shape of jets. "It is interesting for me to see how mathematics can be applied to study these fundamental problems answering fundamental equations in physics, not only at the level of formulating new ideas, which is, in this particular case, a notion of distance, but also how the importance of designing fast optimization algorithms to be able to actually compute these distances," says Dr. Tasissa.

  5. Supporting Wildlife with Statistics

    Dr. Outi Tervo of Greenland Institute for Natural Resources, shares how mathematics helps recommend speed limits for marine vessels, which benefits narwhals and Inuit culture. Narwhals "can only be found in the Arctic," said Outi Tervo, a senior scientist at GINR. "These species are going to be threatened by climate change more than other species that can live in a bigger geographical area." The collaboration has already lobbied on behalf of the narwhals to reduce the level of sea traffic in their habitat, after using mathematical analysis to identify how noise from passing boats changes the narwhals' foraging behavior.