Frontier AI models solving IMO 2026 autonomously — 7 runs, full audit trails, independently graded (3× verified 42/42) - View it on GitHub