South_korea_ln on Nostr: The AI that solved IMO Geometry Problems | Guest video by ‪@Aleph0‬ IMO: ...

The AI that solved IMO Geometry Problems | Guest video by ‪@Aleph0‬
https://www.youtube.com/watch?v=4NlrfOl0l8U&ab_channel=3Blue1Brown

IMO: International Mathematical Olympiad

Great video showing how AI is shaping science (in particular, math) in less visible ways, with more problem-specific models.

https://stacker.news/items/1083551