aio
yea i did try to read the lecture notes and got reminded very fast why i don't try to read physics writing lol
I think there is in fact a notion of continuous entropy where that is actually true, and it does appear to be used in statistical mechanics (but I am not a physicist). But there are clearly a lot of technical details which have been scrubbed away by the LW treatment.
the task the AI solves is writing test cases for finding the Least Common Multiple modulo a number.
Looking at the image of the prompt, it looks more like a CRT computation to me.
It’s famously much easier to verify modulo arithmetic than it is to actually compute it.
It's not particularly difficult to compute CRT, though it is definitely trivial to verify the result afterwards. I'm not sure I'd agree that that's a general fact about modular arithmetic computations though.
Simply asking questions would be SAQing off, which is totally different.
nvm i misread