* Combine new CRL (https://arxiv.org/abs/2408.05804) with offline pretraining. Might be redundant in some sense.
* {
Similarly, contrastive RL for computer algebra (specifically, proving that expressions equal other expressions via making substitutions repeatedly). Try and contrastively learn a "how close is this expression to this other one" function (I think with an action input?). Bootstrap to progressively harder problems.
* 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.
To satisfy the desire of people on the internet to punch people they don't like, mine data to find people's characteristics and simulate fights between them, without the hassle of physically meeting up.
Some people dislike modern furniture because older pieces had lots of hand-carved detail, whereas mass-produced pieces tend to use simpler minimalist geometry. But AI art tools and (more importantly) CNC machines mean it should be fairly cheap (if logistically hard) to carve custom decoration into furniture. Someone will probably pay for this.