This is kind of interesting to look back on. I checked the group really quick and they shut down the program trying to find a better solution to the n=6 problem

This is kind of interesting to look back on. I checked the group really quick and they shut down the program trying to find a better solution to the n=6 problem in March of this year. The most upvoted post was also a bit optimistic in thinking this problem might be solved in a few weeks. I don't know much about it but I am assuming it has not been solved yet.