Diff of Good Ideas at 29e6d80

@@ -5,2 +5,3 @@ Similarly, contrastive RL for computer algebra (specifically, proving that expre
 * What does Gyges mean by "anyone who wants it: you should be able to train contrastive models way faster if you use lsh to determine pairs to contrast"? This might contain alpha.
+* remember at some point: https://arxiv.org/abs/2503.14858
 * Maybe this should be a "theorem prover" and not an "expression rewriter". I think they're fairly similar anyway.