Use short GPU names in scripts (#245)

Server-side GPU identifiers are moving from "NVIDIA TESLA T4",
"NVIDIA H100", … to short forms ("T4", "H100", …). Update the
deploy/run scripts to send the new names.

See AlphaGPU/leetgpu-infra#343.

Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: kunal-mansukhani

scripts/run_challenge.py

@@ -95,9 +95,7 @@ def main() -> int:
     parser = argparse.ArgumentParser(description="Submit a solution via WebSocket API.")
     parser.add_argument("challenge_path", type=Path, help="Path to the challenge directory")
     parser.add_argument("--language", default="cuda", help="Language (default: cuda)")
-    parser.add_argument(
-        "--gpu", default="NVIDIA TESLA T4", help="GPU name (default: NVIDIA TESLA T4)"
-    )
+    parser.add_argument("--gpu", default="T4", help="GPU name (default: T4)")
     parser.add_argument(
         "--action", default="run", choices=["run", "submit"], help="Action (run or submit)"
     )

scripts/update_challenges.py

@@ -25,7 +25,7 @@
 SERVICE_URL = os.getenv("SERVICE_URL", "http://localhost:8080")
 LEETGPU_API_KEY = os.getenv("LEETGPU_API_KEY")
 
-GPUS = ["NVIDIA H100", "NVIDIA H200", "NVIDIA TESLA T4", "NVIDIA B200", "NVIDIA A100-80GB"]
+GPUS = ["H100", "H200", "T4", "B200", "A100-80GB"]
 
 
 def extract_id(name: str) -> int: