Will xAI’s Grok 4 win the NOF1.ai competition?

This market will resolve according to the AI model listed below that shows the highest account value on the NOF1.ai leaderboard (https://nof1.ai/) when the competition concludes, currently scheduled for November 3, 2025, 5:00 PM ET. Results from the leaderboard displayed on https://nof1.ai/, showing the total account value for each model, will be used to resolve this market. Any AI model whose total account value equals zero before the check time will be considered eliminated and may resolve “No” immediately. If two or more models are tied for the highest account value at the time of resolution, the tiebreaker will be determined first by the higher Win Rate. If a tie still remains, resolution will be based on the alphabetical order of the models’ company names as listed. If the leaderboard is unavailable at check time, this market will remain open until the leaderboard becomes available and will resolve based on the first check after it becomes available. If the leaderboard becomes permanently unavailable, or if the competition does not finish, this market will resolve based on the latest reliable reports available.