humanfia-lab/IMO2026

IMO 2026 Humanize: GPT and Kimi Worker Shells This is a fresh blind rerun of the six public IMO 2026 Lean problems. It reuses only the immutable statement snapshots and pinned verification infrastructure from the 2026-07-19 Kimi experiment; it never copies prior candidates, proofs, sessions, or reviewer results into a solver workspace. Experiment shells Both original experiment implementations are packaged together under one directory:… See the full description on the dataset page: https://huggingface.co/datasets/humanfia-lab/IMO2026.

<iframe src="https://silytics.si/embed/item/162bb9c8-b077-4d27-85d0-6e104e235bc7" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.