3 ms·
No one has yet managed to solve n=6 completely, so I think solving n=7 is a long way off. On the other hand, I think we will soon have an improved lower bound
by robinhouston 8y ago
No one has yet managed to solve n=6 completely, so I think solving n=7 is a long way off.
On the other hand, I think we will soon have an improved lower bound that is strong enough to refute this formula.