درباره این اپیزود
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.
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.
انگلیسی
ایالات متحده آمریکا
رونوشت 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
جستجوی اپیزودهای گذشته
اپیزودهای قبلی Mathematical Moments from the American Mathematical Society را جستجو کن.
قسمت های دیگر در این پادکست
Rodney Kizito from U.S. Department of Energy discusses solar energy, mathematics, and microgrids.
When you flip a switch to turn on a light, where does that energy come from? In a traditional power grid, electricity is generated at large power plants and then transmitted long distances. But…
Stacey Finley from University of Southern California discusses how mathematical models support the research of cancer biology.
Cancer research is a crucial job, but a difficult one. Tumors growing inside the human body are affected by all kinds of factors. These conditions are difficult (if…
Karen Rios Soto explains how mathematics illuminates the link between air pollution from motor vehicle emissions and asthma.
Air pollution causes the premature deaths of an estimated seven million people each year, and it makes life worse for all of us. People with asthma can experience che…
Imelda Flores Vazquez from Econometrica, Inc. explains how economists use mathematics to evaluate the efficacy of health care policies.
When a hospital or government wants to adjust their health policies — for instance, by encouraging more frequent screenings for certain diseases — how do t…
Malena Espanol explains how she and others use linear algebra to correct blurry images.
Imagine snapping a quick picture of a flying bird. The image is likely to come out blurry. But thanks to mathematics, you might be able to use software to improve the photo. Scientists often deal with bl…
سلب مسئولیت: پادکست و آثار هنری تعبیه شده در این صفحه متعلق به American Mathematical Society است که متعلق به صاحب آن است و به Listen Notes، Inc وابسته یا تایید نشده است.
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
