3 ms·
Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?
by richard_chase 2mo ago
Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?
- fn-mote 2mo agoFollow the link to the chat history. The last item is a full write up.
- gukoff 2mo agoYes, and the standalone formal proof and independent review will follow. By the way, I'd like to note that it will likely be a formalization of not the last result in that conversation, but of one of the initial proofs that relied on the Langford sequences and theorems of their existence.