view article Article Did GPT 5.2 make a breakthrough discovery in theoretical physics? 2 days ago • 39
view article Article I Let a Lobster Run My Jetson: What OpenClaw Taught Me About the Future of Computing 2 days ago • 11
Running Featured 40 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 40 Who needs 1T parameters? Olympiad proofs with a 4B model
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL Paper • 2602.03773 • Published 18 days ago • 9
Running Featured 40 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 40 Who needs 1T parameters? Olympiad proofs with a 4B model