Which company has the best Math AI model end of May?

Which company has the best Math AI model end of May? is a technology prediction market focused on which AI company will own the top-ranked math model on the Chatbot Arena LLM Leaderboard at the May 31, 2026 check time. The market resolves using the “Text Arena | Math” leaderboard with style control off, and the company whose model holds first place at 12:00 PM ET is the forecasted winner. If models are tied on rank, the resolution follows Arena score, including granular score values, with company name used only as a final tiebreaker. This makes the event a direct test of market sentiment around math-focused AI performance rather than general model popularity. Traders are effectively pricing the expected outcome of the leaderboard snapshot, using prediction market odds to estimate which company will lead at the deadline. The current market probability stands at 7%, indicating the market currently assigns a relatively low chance to this outcome. Because the resolution depends on a specific public leaderboard and a fixed end-of-May timeframe, the event is closely watched by AI and tech followers tracking benchmark performance, model competition, and short-term shifts in leaderboard rankings.