Three months ago a new user here claimed to have solved it, but I never heard anything more about it. https://news.ycombinator.com/item?id=44109212 https://new

Three months ago a new user here claimed to have solved it, but I never heard anything more about it. https://news.ycombinator.com/item?id=44109212 https://news.ycombinator.com/item?id=44109212 Checking the link to the solution, the user has retracted it, so I guess there was a mistake in his work.