By the time GPT-6 drops, lean proofing is the new bottleneck. Sol Ultra is cooking Math so hard right now. - View it on GitHub