Agent skills for long optimization campaigns on open benchmarks: ecdsa.fail, the Proximity Prize and Kaggle.
kaggle codex quantum-circuits lean4 agent-skills claude-code agentic-science ecdsa-fail proximity-prize
-
Updated
Oct 30, 2026 - Python