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
