On: Computer Scientists Make Progress on Math Puzzle

[dasht]

You are right. The article is a muddle.

I think they meant: the quadratic lower bound is the highest yet proved -- not that it is "better" than Knuth's unproved conjecture.

[amichail → dasht]

It's more likely that the person who wrote this article doesn't even know what a lower bound is.