⬣ 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...