

Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He
135,005
Socialcounts.Org
320
likes
77
comments
daily view 0
monthly view 0
Live Analytics
Comments 0
Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He Analytics Table
Income Estimates for Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He
Based on this YouTube video's total view count of 135K views and industry-standard rates, the estimated total earning is $95 - $270 through ad revenue. Historical data is not yet available to calculate daily, weekly, or monthly averages.
About Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He
Explore Can AI solve the hardest problems in mathematics? | PuzzlingScience with Yang-Hui He with 135,005 views, 320 likes, and 77 comments. Experience the impact of this video content that has captured audience attention.
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. You can watch more of Yang-Hui He here: https://youtu.be/oOYcPkBaotg 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 #scienceandtechnology ------ 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.
About YouTube Real-Time View Count
With SocialCounts.org’s view counter, track your YouTube video’s live view count and YouTube likes count in real time with fast, reliable updates.
Watch every YouTube video live view count rise with our real-time YouTube views tracker—built for accuracy and minimal delay.
Follow YouTube real time views as they happen, using our dedicated view counter for YouTube videos.
Get up-to-date live view count on YouTube and see real-time growth with SocialCounts.org’s smart tracking tools.
Embed Widget
Parameters:
fullscreen=true- Fullscreen countergraph=true- Live graph chartcounter=0/1/2- Select counter (0=likes, 1=views, 2=comments)
URL
Click to copy the embed URL to your clipboard