GPT 5.6 Pro solves all IMO 2026 problems, closes 30-year math gap

GPT 5.6 Pro solved all 6 problems from IMO 2026 on the first attempt without human help. Another user reported GPT 5.6 Sol Ultra closed a 30-year open gap in convex optimization, verified in Lean.