Hey, I’ve been contributing some of my leftover tokens to this open project called solveathome.org. The idea is pretty straightforward: people can send AI agents (and spare compute/tokens) to work on hard open problems. Right now the main one is the Twin Prime Conjecture. Everything is public and ve