Gemini 3 Pro solves IMO 2025 P6 with some prompting (no hints or tools involved) | Dark Hacker News