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

Which company has the best Math AI model end of June? is a technology prediction market focused on which AI company will own the top-ranked math model on the Chatbot Arena LLM Leaderboard. The market resolves using the “Text Arena | Math” leaderboard rank at 12:00 PM ET on June 30, 2026, with the first-place company determined by rank, then Arena score, and finally alphabetical order if needed. In plain terms, traders are forecasting which company’s model will be judged strongest at math tasks by the leaderboard at the check time.

This event matters because math performance is a key benchmark for AI model quality, especially in the fast-moving tech and rewards-related leaderboard ecosystem. Market sentiment currently gives the outcome a low implied probability of about 3.3%, suggesting traders see a less likely or more competitive result rather than a clear frontrunner. If the leaderboard is unavailable at resolution time, the market remains open until it can be checked again. As a prediction market and tech forecast, it is a direct read on expectations around AI model performance, company leadership, and the state of math-focused benchmark competition.