Exploring Excalidraw – Editor Walkthrough 👀 | GUIDED #1 - YouTube [https://www.youtube.com/watch?v=xYz4nXFTh_k] - 2026-01-31 16:23:29 - public:mzimmerm bimocrit, diagram, excalidraw, math, online - 5 | id:1538196 -
we just arrived at the “WTF“ moment in AI - YouTube [https://www.youtube.com/watch?v=N8I2wYXt4m8] - 2026-01-12 22:17:24 - public:mzimmerm ai, bimocrit, erdos, math, proof, tomas - 6 | id:1538051 - AI creates proofs of Erdos's theorems
