Post #3992459

While I was away at EMF, someone posted a vibe-coded Lean proof of an improved lower bound to the length of the minimal superpermutation (an improvement on the proof originally posted in a 4chan discussion about anime): https://groups.google.com/g/superpermutators/c/9fCyufH4jdo/m/cDwI1XWkAgAJ There goes my evening...