Will OpenAI have the best Math AI model at the end of April 2026?

This market will resolve according to the company that owns the model that has the highest arena score based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab for "Math" is checked on April 30, 2026, 12:00 PM ET. Results from the "Score" column under the "Text Arena | Math" Leaderboard tab at https://arena.ai/leaderboard/text/math-no-style-control with style control off will be used to resolve this market. Models will be ranked primarily by t