Slava Pestov<p><a href="https://mathstodon.xyz/tags/FirstPost" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FirstPost</span></a></p><p>This has been bugging me for a while, and I finally figured it out over the long weekend. Who wants to be the first person to blow a hole in my proof? <a href="https://factorcode.org/slava/abaaabaaaab.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">factorcode.org/slava/abaaabaaa</span><span class="invisible">ab.pdf</span></a></p>