Sorry for slow response. The garden is definitely in use, only a bit slow moving right now. For that particular problem, read my comment there. As a general rule: we usually mark the problem as solved only after the paper about it goes through a peer-review process -- but definitely one should wait till somebody "in the know" verifies his proof or counterexample.
Re: Is this garden still in use?
Sorry for slow response. The garden is definitely in use, only a bit slow moving right now. For that particular problem, read my comment there. As a general rule: we usually mark the problem as solved only after the paper about it goes through a peer-review process -- but definitely one should wait till somebody "in the know" verifies his proof or counterexample.
Best wishes, Robert