4 ms·
First major improvement to the bound since 1940. Many other things can now be improved as a result, that depended on the earlier bound.
by MattPalmer1086 2y ago
First major improvement to the bound since 1940. Many other things can now be improved as a result, that depended on the earlier bound.