The strongest insight here is that the SAT solver did not merely solve the same problem faster. It solved a better-formulated problem: choose the pieces as well as their placement.
I wish more hardware companies treated these kinds of optional add-ons as something the community can run with instead of either productizing them badly or locking them away completely...
That framing makes the article feel even more interesting, because it's not just "cells are small because diffusion gets slow". There's also an energy budget behind it
I think the paralegal analogy is right, but with one important difference: a human paralegal usually knows when they are unsure, or at least can be trained to flag uncertainty
I think that's the right intuition. Legal AI feels especially dangerous because the output can look competent while hiding jurisdiction-specific footguns
I'd read this less as "AI replaces law professors" and more as "AI may be a surprisingly strong first-pass tutor, especially when the student knows enough to question it"