⬣ LINKS ⬣
⬡ PATREON: / anotherroof
⬡ CHANNEL: / anotherroof
⬡ WEBSITE: https://anotherroof.top
⬡ SUBREDDIT: / anotherroof
⬡ TWITCH: / anotherroof
Check out Sabine Hossenfelder’s video here:
• Google's AI Makes Stunning Progress w...
⬣ ABOUT ⬣
AlphaGeometry is a new AI system developed by DeepMind that can solve Olympiadlevel geometry problems. This has been hailed as a leap forward in AI reasoning, but is it? In this video, break down how AlphaGeometry works and give my general thoughts on the use of AI in mathematics.
⬣ TIMESTAMPS ⬣
00:00 Introduction
01:04 How Does AlphaGeometry Work?
02:27 Triangle Facts
03:55 IMO 2008: Problem 1 (Setup)
06:50 IMO 2008: Problem 1 (AlphaGeometry’s Solution)
13:11 IMO 2008: Problem 1 (Discussion)
18:22 Is AlphaGeometry Good at Mathematics?
22:21 The Use of AI in Mathematics: Good or Bad?
⬣ INVESTIGATORS ⬣
Nothing for you here. Sorry!
⬣ REFERENCES ⬣
Trinh, T.H., Wu, Y., Le, Q.V. et al. “*Solving olympiad geometry without human demonstrations.” *Nature **625**, 476–482 (2024). https://doi.org/10.1038/s4158602306...
K. Appel and W. Haken “The Existence of Unavoidable Sets of Geographically Good Configurations” Illinois J. Math. 20 (1976), 218297
⬣ CREDITS ⬣
Music
Intro music by Tobias Voigt. Other music by Danjel Zambo and Apex Music.
Images
Deep Blue vs Garry Kasparov (C) Adam Nadel, AP Images
https://www.britannica.com/topic/Deep...
Watson on Jeopardy
https://i.ytimg.com/vi/P18EdAKuC1U/ma...
AlphaGo vs Lee Sedol
https://storage.googleapis.com/gwebu...
Elements
https://www.christies.com/en/lot/lot...
Kasparov Newspaper
https://secureimages.rarenewspapers....
Wiles
https://i.guim.co.uk/img/media/f80942...
Four Colour Theorem
Taken from K. Appel and W. Haken “The Existence of Unavoidable Sets of Geographically Good Configurations” Illinois J. Math. 20 (1976), 218297
Fluid Simulation
• water green screen 2,100,000 particle...