![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png) jack |
Mon 2014-03-10 13:18 |
Ah! Very cool. I'm glad someone wrote a search program :)
I'm flattered you call my comment a conjecture, when it was only really saying I wasn't convinced by your conjecture. But I'm glad we found an answer deciding it :)
Stupid question, if the search program finds a best answer, how does it show that's the best? Is there an obvious limit on something? Previously we seemed to have no way of clearly showing an answer _is_ the best, except by special-case proofs like writing-hawk's. |
|