Current AI models struggle to solve research-level math problems, with the most advanced ... Google's Gemini 1.5 Pro (002), Anthropic's Claude 3.5 Sonnet, OpenAI's o1-preview, o1-mini, and GPT4o ...