An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
IMO25 是一个基于人工智能的自动化解题系统,旨在利用前沿的大模型能力解决国际数学奥林匹克竞赛(IMO)级别的复杂数学难题。通过集成 Google Gemini、OpenAI 和 XAI 等顶尖模型接口,该项目能够执行端到端的逻辑推理并输出高水平的数学解题方案。
支持调用 Google Gemini 2.5 Pro、OpenAI GPT-5 和 XAI Grok-4 等多种主流高级模型进行推理。
提供专用的单智能体运行脚本,能够针对特定的数学问题进行独立分析与解答。
具备并行执行系统,支持同时启动多个智能体以增加求解数学问题的成功概率。
包含结果解析工具,可以将运行产生的 JSON 格式日志转化为易于阅读的 Markdown 文档。
适用于数学研究人员、AI 算法工程师以及对自动化逻辑推理和复杂问题求解感兴趣的技术开发者,常用于评估大模型的数学竞赛能力或辅助进行奥数题目的智能化验证。