Kellan on Mythryl: “Blog post: Recent blog post by David Bessison LLM and math…”

Blog post: Recent blog post by David Bessison LLM and math introduced two concepts useful for thinking about software: canonization and the Overhang. laughingmeme.org/2026/06/30/c...

laughingmeme.orgCanonization and the OverhangDavid Bessis’s “The fall of the theorem economy” is ostensibly about LLMs and the pursuit of pure math, and I found it fascinating in its own right, even while I’m not qualified to evaluate a number o...

30/6/26, 9:50 pm5 reposts8 likes

Post