Robust inference-time resource allocation for the 5th place AIMO3 solution.
Final locked parameters: high_problem_timeout=900, base_problem_timeout=300, early_stop=4, attempts=8.
CPU basic runs the UI only. On upgraded 80GB GPU hardware, install the locked runtime dependencies before initializing the solver.
Hardware note: Exact winning configuration requires H100-class 80GB GPU support for fp8_e4m3 KV cache. A100 80GB is not a strict equivalent: it may fail the fp8_e4m3 path, or require fallback KV cache settings that increase memory and change timeout/OOM behavior.
The smoke and reproduce-final commands are lightweight. build-testset, run-search, and run-all require OPENAI_API_KEY; real search also requires upgraded 80GB GPU hardware. A100 80GB is only an experimental fallback target, not exact H100 reproduction.