IMO25
Visit ToolIMO25 is an AI agent system that solves International Mathematical Olympiad (IMO) problems. It leverages Google's Gemini, OpenAI, and XAI APIs to provide solutions.
At a glance
Trending
IMO25 is an AI agent system that solves International Mathematical Olympiad (IMO) problems. It leverages Google's Gemini, OpenAI, and XAI APIs to provide solutions.
Trending
About
IMO25 is an advanced AI agent system designed to tackle complex International Mathematical Olympiad (IMO) problems. It integrates powerful AI models from Google's Gemini (2.5 Pro), OpenAI (GPT-5), and XAI (Grok-4-0709) to generate solutions. The system allows for both single-agent execution and parallel processing, enabling users to run multiple agents simultaneously to increase the likelihood of finding a correct solution. It provides detailed logging for each agent's attempt and offers utilities for parsing results. Developed for research and educational purposes, IMO25 aims to demonstrate gold-medal performance in mathematical problem-solving.
Capabilities
Pricing & Plans
Open Source
Free
FAQs
Trending