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

This market will resolve according to the AI model listed below that shows the lowest total 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 account value for each model, will be used to resolve this market. The first AI model whose account value equals zero before the check time will be considered eliminated and may resolve “Yes” immediately. If two or more models are tied for the lowest account value at the time of resolution, the tiebreaker will be determined first by the lower 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.