Pinchflat

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

Actions

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

Uploaded: 2025-08-17

Open Original or Open Local Stream

How AlphaGeometry combines logic and intuition. Check out Aleph0’s channel: https://youtube.com/@Aleph0 Instead of sponsored ad reads, these lessons are funded directly by viewers: https://3b1b.co/support An equally valuable form of support is to 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-geometry AlphaGeometry announcement: https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/ Similar open-source model, Newclid, by Harmonic: https://harmonic.fun/news#blog-post-geometry Timestamps: 0:00 - What's surprising 1:33 - Solve without AI 7:10 - Where AI comes in ------------------ 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: https://twitter.com/3blue1brown Bluesky: https://bsky.app/profile/3blue1brown.com Instagram: https://www.instagram.com/3blue1brown Reddit: https://www.reddit.com/r/3blue1brown Facebook: https://www.facebook.com/3blue1brown Patreon: https://patreon.com/3blue1brown Website: https://www.3blue1brown.com

Raw Attributes

Source: 3Blue1Brown

inserted_at: 2026-03-24T03:03:31Z
subtitle_filepaths: en/downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].en.srt, es/downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].es.srt
prevent_culling: false
media_id: 4NlrfOl0l8U
description: How AlphaGeometry combines logic and intuition. Check out Aleph0’s channel: https://youtube.com/@Aleph0 Instead of sponsored ad reads, these lessons are funded directly by viewers: https://3b1b.co/support An equally valuable form of support is to 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-geometry AlphaGeometry announcement: https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/ Similar open-source model, Newclid, by Harmonic: https://harmonic.fun/news#blog-post-geometry Timestamps: 0:00 - What's surprising 1:33 - Solve without AI 7:10 - Where AI comes in ------------------ 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: https://twitter.com/3blue1brown Bluesky: https://bsky.app/profile/3blue1brown.com Instagram: https://www.instagram.com/3blue1brown Reddit: https://www.reddit.com/r/3blue1brown Facebook: https://www.facebook.com/3blue1brown Patreon: https://patreon.com/3blue1brown Website: https://www.3blue1brown.com
id: 26
updated_at: 2026-03-24T10:51:01Z
prevent_download: false
source_id: 1
media_size_bytes: 628613208
playlist_index: 10
thumbnail_filepath: /downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U]-thumb.jpg
metadata_filepath: /downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].info.json
culled_at:
upload_date_index: 99
media_redownloaded_at:
livestream: false
predicted_media_filepath: /downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].mkv
last_error:
original_url: https://www.youtube.com/watch?v=4NlrfOl0l8U
uploaded_at: 2025-08-17T13:02:50Z
media_downloaded_at: 2026-03-24T10:50:57Z
media_filepath: /downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].mp4
title: The AI that solved IMO Geometry Problems | Guest video by @Aleph0
matching_search_term:
duration_seconds: 810
nfo_filepath: /downloads/3Blue1Brown/Season 2025/s2025e081799 - 2025-08-17 - The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0/The AI that solved IMO Geometry Problems ｜ Guest video by @Aleph0 [4NlrfOl0l8U].nfo
short_form_content: false
uuid: d438998f-63c0-4220-92ff-c773602afbb4

Worker	State	Scheduled At
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-23 22:03:31
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 00:30:09
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 00:40:10
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 00:50:11
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:00:12
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:10:13
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:20:14
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:30:15
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:40:16
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 01:50:18
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:00:23
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:10:24
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:20:25
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:30:26
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:40:27
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 03:50:28
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:00:30
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:10:31
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:20:32
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:30:33
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:40:34
Pinchflat.Downloading.MediaDownloadWorker	completed	2026-03-24 04:50:35

We can't find the internet

Something went wrong!

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

Raw Attributes