Скачать или смотреть The AI that solved IMO Geometry Problems | Guest video by

How AlphaGeometry combines logic and intuition.
Share stories about AI in math research for an upcoming video: https://forms.gle/gr9aZVdUrW5T3yDg9
Instead of sponsored ad reads, these lessons are funded directly by viewers: https://3b1b.co/support
An equally valuable form of support is to simply share the videos.
Home page: https://www.3blue1brown.com

Special thanks to Trieu Trinh for fact-checking the script.

Blog post on an open-sourced geometry solver:
https://harmonic.fun/news#blog-post-g...

AlphaGeometry announcement:
https://deepmind.google/discover/blog...

Similar open-source model, Newclid, by Harmonic:
https://harmonic.fun/news#blog-post-g...

Timestamps:
0:00 - What's surprising
1:33 - Solve without AI
7:10 - Where AI comes in
12:48 - Grant's comments

------------------

These animations are largely made using a custom Python library, manim. See the FAQ comments here:
https://3b1b.co/faq#manim

Music by Vincent Rubinetti.
https://vincerubinetti.bandcamp.com/a...
https://open.spotify.com/album/1dVyjw...

------------------

3blue1brown is a channel about animating math, in all senses of the word animate. If you're reading the bottom of a video description, I'm guessing you're more interested than the average viewer in lessons here. It would mean a lot to me if you chose to stay up to date on new ones, either by subscribing here on YouTube or otherwise following on whichever platform below you check most regularly.

Mailing list: https://3blue1brown.substack.com
Twitter:   / 3blue1brown  
Bluesky: https://bsky.app/profile/3blue1brown.com
Instagram:   / 3blue1brown  
Reddit:   / 3blue1brown  
Facebook:   / 3blue1brown  
Patreon:   / 3blue1brown  
Website: https://www.3blue1brown.com