Will be fascinating to see where this goes - like an AlphaZero moment. I wonder if we see math and coding that quickly surpasses the best human, and we actually learn from the AI.

Still seems limited to auto-verifiable domains though. Kind of a relief!