This is a special post for quick takes by J Bostock. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
"Humans cannot secure matrices of 175B floating point numbers" seems kind of isomorphic to the statement "Humans cannot secure engines containing 10^23 gas molecules". There are often laws which govern large ensembles of things which are simpler than counting up every single thing in the ensemble.