https://wenyi.blog/tags/maths/ Recent content in Maths on Purpose and Function https://wenyi.blog/images/hero.jpg https://wenyi.blog/images/hero.jpg Hugo -- 0.165.0 en-us Mon, 17 Aug 2026 00:00:00 +0000 https://wenyi.blog/posts/llms-mathematical-breakthrough-is-another-vibe-coding-moment-this-time-for-lean/ Mon, 17 Aug 2026 00:00:00 +0000 https://wenyi.blog/posts/llms-mathematical-breakthrough-is-another-vibe-coding-moment-this-time-for-lean/ How AI models prove mathematical statements, using systems from major players such as Google DeepMind and ByteDance as examples.