Manifold's bot league, season 40 (August 2026). Resolves YES if the #1 bot in the Silicon division's final standings shows MORE than 12,000 mana earned when the season ends (early September). Read directly from the Manifold leagues page. For reference: the leader had ~2,500 after the first week of August.