Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He
Can AI help us solve some of the hardest problems in mathematics?In this episode of Puzzling Science, mathematical physicist Yang-Hui He explores how artificial intelligence is changing mathematical research.
While attempting to solve a jigsaw puzzle with the help of AI, Yang discusses the rise of AI-assisted mathematics, why mathematicians need to verify AI-generated results, and how systems such as AlphaProof and Harmonic's Aristotle are approaching mathematical reasoning.
He also explains how formalised mathematics and Lean can help researchers check whether an AI-generated proof is actually correct, and why proving something is true isn't necessarily the same as understanding it.
Yang-Hui He is a Fellow at the London Institute for Mathematical Sciences and works at the interface of mathematics, physics and machine learning.
What do you think: could AI eventually become a genuine partner in mathematical discovery?
Subscribe to the Royal Institution for more science, mathematics and technology. We post a new epsiode of Puzzling Science every month! http://bit.ly/RiSubscRibe
-----
Chapters:
00:00 Can AI solve a jigsaw puzzle?
00:46 How AI is changing mathematics
03:10 AI tackles mathematical problems
04:51 The hardest problems in mathematics
06:16 Can mathematicians trust AI?
09:06 How AI verifies mathematical proofs
10:51 Can AI discover new mathematics?
14:14 AI and the future of mathematics
-----
#AI #Mathematics #ArtificialIntelligence #PuzzlingScience #Science
------
The Ri is on Facebook: http://www.facebook.com/royalinstitution
and TikTok: https://www.tiktok.com/@ri_science
Listen to the Ri podcast: https://podcasters.spotify.com/pod/show/ri-science-podcast
Donate to the RI and help us bring you more lectures: https://www.rigb.org/support-us/donate-ri
Our editorial policy: https://www.rigb.org/editing-ri-talks-and-moderating-comments
Subscribe for the latest science videos: http://bit.ly/RiNewsletter
Product links on this page may be affiliate links which means it won't cost you any extra but we may earn a small commission if you decide to purchase through the link. Receive SMS online on sms24.me
TubeReader video aggregator is a website that collects and organizes online videos from the YouTube source. Video aggregation is done for different purposes, and TubeReader take different approaches to achieve their purpose.
Our try to collect videos of high quality or interest for visitors to view; the collection may be made by editors or may be based on community votes.
Another method is to base the collection on those videos most viewed, either at the aggregator site or at various popular video hosting sites.
TubeReader site exists to allow users to collect their own sets of videos, for personal use as well as for browsing and viewing by others; TubeReader can develop online communities around video sharing.
Our site allow users to create a personalized video playlist, for personal use as well as for browsing and viewing by others.
@YouTubeReaderBot allows you to subscribe to Youtube channels.
By using @YouTubeReaderBot Bot you agree with YouTube Terms of Service.
Use the @YouTubeReaderBot telegram bot to be the first to be notified when new videos are released on your favorite channels.
Look for new videos or channels and share them with your friends.
You can start using our bot from this video, subscribe now to Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He
What is YouTube?
YouTube is a free video sharing website that makes it easy to watch online videos. You can even create and upload your own videos to share with others. Originally created in 2005, YouTube is now one of the most popular sites on the Web, with visitors watching around 6 billion hours of video every month.
