> We use the latest available Codex release with GPT-6 Sol.

This alone makes the benchmark unsound.